Number Theoretic Density and Logical Limit Laws

Stanley N. Burris (Autor)

Buch | Hardcover

312 Seiten

2000
American Mathematical Society (Verlag)
978-0-8218-2666-9 (ISBN)

Titel z.Zt. nicht lieferbar
Versandkostenfrei
Auch auf Rechnung

Artikel merken

Shows how a study of generating series (power series in the additive case and Dirichlet series in the multiplicative case), combined with structure theorems for the finite models of a sentence, lead to general results on limit laws, including $0 - 1$ laws. This book presents topics from additive as well as from multiplicative number theory.

This book shows how a study of generating series (power series in the additive case and Dirichlet series in the multiplicative case), combined with structure theorems for the finite models of a sentence, lead to general and powerful results on limit laws, including $0 - 1$ laws. The book is unique in its approach to giving a combined treatment of topics from additive as well as from multiplicative number theory, in the setting of abstract number systems, emphasizing the remarkable parallels in the two subjects.Much evidence is collected to support the thesis that local results in additive systems lift to global results in multiplicative systems. All necessary material is given to understand thoroughly the method of Compton for proving logical limit laws, including a full treatment of Ehrenfeucht-Fraisse games, the Feferman-Vaught Theorem, and Skolem's quantifier elimination for finite Boolean algebras. An intriguing aspect of the book is to see so many interesting tools from elementary mathematics pull together to answer the question: What is the probability that a randomly chosen structure has a given property? Prerequisites are undergraduate analysis and some exposure to abstract systems.

Additive number systems: Background from analysis Counting functions, fundamental identities Density and partition sets The case $/rho = 1$ The case $0 < /rho < 1$ Monadic second-order limit laws Multiplicative number systems: Background from analysis Counting functions and fundamental identities Density and partition sets The case $/alpha = 0$ The case $0 < /alpha < /infty$ First-order limit laws Appendix A. Formal power series Appendix B. Refined counting Appendix C. Consequences of $/delta(/mathsf P) = 0$ Appendix D. On the monotonicity of $a(n)$ when $p(n) /leq 1$ Appendix E. Results of Woods Bibliography Symbol index Subject index.

Erscheint lt. Verlag	1.1.2001
Reihe/Serie	Mathematical Surveys and Monographs
Zusatzinfo	Illustrations
Verlagsort	Providence
Sprache	englisch
Gewicht	794 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Arithmetik / Zahlentheorie
	Mathematik / Informatik ► Mathematik ► Graphentheorie
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	0-8218-2666-2 / 0821826662
ISBN-13	978-0-8218-2666-9 / 9780821826669
Zustand	Neuware