Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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… 
2014
2014
In crustaceans, one of necessary things for embryonic and larval development is an extensive quantity of yolk accumulation within… 
2011
2011
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our… 
2009
2009
A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's… 
2005
2005
Specker sequences are constructive, increasing, bounded sequences of rationals that do not converge to any constructive real. A…