Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/conservative-extensions-of-models-of-arithmetic-uEZYyRaaoo
References (10)
-
C. Puritz (1971)
Ultrafilters and Standard Functions in Non-Standard ArithmeticProceedings of The London Mathematical Society
-
A. Blass (1977)
Amalgamation of nonstandard models of arithmeticJournal of Symbolic Logic, 42
-
A. Blass (1977)
End extensions, conservative extensions, and the Rudin-Frolík orderingTransactions of the American Mathematical Society, 225
-
R. Phillips (1974)
Omitting types in arithmetic and conservative extensions -
Limit ultrapowers -
D. Lascar (1976)
Ranks and definability in superstable theoriesIsrael Journal of Mathematics, 23
-
A. Blass (1978)
A Model-Theoretic View of Some Special UltrafiltersStudies in logic and the foundations of mathematics, 96
-
A. Blass (1972)
The intersection of nonstandard models of arithmeticJournal of Symbolic Logic, 37
-
David Booth (1970)
Ultrafilters on a countable setAnnals of Mathematical Logic, 2
-
R. Phillips (1974)
Victoria symposium on nonstandard analysis
- Publisher
- Springer Journals
- Copyright
- Copyright © 1980 by Verlag W. Kohlhammer
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF02021128
- Publisher site
- See Article on Publisher Site
Abstract
We give two characterizations of conservative extensions of models of arithmetic, in terms of the existence and uniqueness of certain amalgàmations with other models. We also establish a connection between conservativity and some combinatorial properties of ultrafilter mappings.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Jul 16, 2005