Abstract
Using methods and results from finite model theory and real analysis it is shown that the ordinal ε0 can be characterized as the first additive principal number for which certain zero-one laws for infinitary structures do not hold. As a contribution to problem 4.17 and problem 10.6 in Burris 2001 [5] we show that additive principal numbers below εo yield additive number systems in RT1 and multiplicative number systems in RV0.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
T.M. Apostol: Introduction to Analytic Number Theory. Springer, 1976.
J.P. Bell: Sufficient conditions for zero-one laws. Preprint, 2000.
J.P. Bell: The second and third conjectures of number theoretic density and logical limit laws. Preprint, 2000.
J.P. Bell and S.N. Burris: Asymptotics for logical limit laws. When the growth of the components is in an RT class. Preprint, 2000.
S.N. Burris: Number Theoretic Density and Logical Limit Laws. Mathematical Surveys and Monographs 86. American Mathematical Society 2001.
K.J. Compton. A logical approach to asymptotic combinatorics. I. First order properties. Advances in Mathematics 65 (1987), 65–96.
K.J. Compton. A logical approach to asymptotic combinatorics. II. Monadic second order properties. Journal of Combinatorial Theory Series A 50 (1989), 110–131.
E. Ebbinghaus and J. Flum. Finite model theory. Springer 1995.
R. Fagin. Probabilities on finite models. The Journal of Symbolic Logic 41 (1976) 50–58.
J.L. Geluk and L. de Haan: Regular Variation Extensions and Tauberian Theorems. CWI Tract 40 1980.
Y.V. Glebskij, D.I. Kogan, M.I. Liogonkij and V.A. Talanov. Range and degree of realizability of formulas in the restricted predicate calculus. Cybernetics 5 (1969) 142–154.
G.H. Hardy and S. Ramanujan. Asymptotic formulae for the distribution of integers of various types. Proceedings of the London Mathematical Society 2 (1917) 112–132.
R. Otter: The number of trees. Annals of Mathematics 49 (1948) 583–599.
K. Schütte: Proof Theory. Springer 1977.
A.R. Woods: Coloring rules for finite trees and probabilities of monadic second order sentences. Random Structures and Algorithms, 10 (1997) 453–485.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Basel AG
About this paper
Cite this paper
Weiermann, A. (2002). Zero-One Law Characterizations of ε 0 . In: Chauvin, B., Flajolet, P., Gardy, D., Mokkadem, A. (eds) Mathematics and Computer Science II. Trends in Mathematics. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-8211-8_33
Download citation
DOI: https://doi.org/10.1007/978-3-0348-8211-8_33
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9475-3
Online ISBN: 978-3-0348-8211-8
eBook Packages: Springer Book Archive