Skip to search formSkip to main content

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
Is this relevant?
2014
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
Is this relevant?
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
Is this relevant?
2009
2009
A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's… Expand
Is this relevant?
2005
2005
Specker sequences are constructive, increasing, bounded sequences of rationals that do not converge to any constructive real. A… Expand
Is this relevant?