Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Specker sequence

Known as: Specker 
In computability theory, a Specker sequence is a computable, monotonically increasing, bounded sequence of rational numbers whose supremum is not a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Much of calcium and phosphorus used to support skeletal ossification during prenatal and postnatal mammalian development are… Expand
  • table 1
  • table 2
  • figure 1
2014
2014
In crustaceans, one of necessary things for embryonic and larval development is an extensive quantity of yolk accumulation within… Expand
  • figure 3
  • figure 1
  • figure 2
2012
2012
The aim of this study was to compare the physical activity levels of children during fullday and half-day kindergarten. Of the 47… Expand
  • table 2
2011
2011
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our… Expand
  • figure 1
2009
2009
A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's… Expand
2005
2005
Specker sequences are constructive, increasing, bounded sequences of rationals that do not converge to any constructive real. A… Expand