Skip to search form
Skip to main content
Semantic Scholar's Logo
Create Free Account
You are currently offline. Some features of the site may not work correctly.
In computability theory, a Specker sequence is a computable, monotonically increasing, bounded sequence of rational numbers whose supremum is not a…
Computation in the limit
Semantic Scholar uses AI to extract papers important to this topic.
Determining the e ff ects of Reproductive Performance on Bone Quality in Female House Mice
Corpus ID: 85546734
Much of calcium and phosphorus used to support skeletal ossification during prenatal and postnatal mammalian development are…
RESEARCH ARTICLE Open Access Effect of Neurotransmitters on the Reproductive Biomarker and Ovarian Development in Giant Freshwater Prawn Macrobrachium rosenbergii (De Man, 1879)
Corpus ID: 55060111
In crustaceans, one of necessary things for embryonic and larval development is an extensive quantity of yolk accumulation within…
Physical activity during full-day and half-day kindergarten
Corpus ID: 54026587
The aim of this study was to compare the physical activity levels of children during fullday and half-day kindergarten. Of the 47…
Constructive reverse investigations into differential equations
J. Log. Anal.
Corpus ID: 16265878
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our…
Decidability and Specker sequences in intuitionistic mathematics
Math. Log. Q.
Corpus ID: 9752428
A bounded monotone sequence of reals without a limit is called a Specker sequence. In Russian constructive analysis, Church's…
Specker sequences revisited
Math. Log. Q.
Corpus ID: 9926668
Specker sequences are constructive, increasing, bounded sequences of rationals that do not converge to any constructive real. A…
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Terms of Service
ACCEPT & CONTINUE