Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/subsets-of-models-of-arithmetic-32RbBZyPD3
References (10)
-
J. Paris, L. Kirby (1978)
∑n-Collection Schemas in ArithmeticStudies in logic and the foundations of mathematics, 96
-
J. Paris (1981)
Model theory and arithmetic -
P. Clote (1985)
Proc. 6th Latin American Symposium Caracas, Venezuela -
J. Paris (1981)
Some conservation results for fragments of arithmetic -
L. Kirby, J. Paris (1977)
Initial segments of models of Peano's axioms -
L. Kirby, K. McAllon, R. Murawski (1981)
Indicators, recursive saturation and expandabilityFundamenta Mathematicae, 114
-
R. Kossak (1990)
On extensions of models of strong fragments of arithmetic, 108
-
P. Clote (1985)
Partition relations in arithmetic -
A. Wilkie, J. Paris (1989)
On the Existence of end Extensions of Models of Bounded InductionStudies in logic and the foundations of mathematics, 126
-
A. Lachlan, M. Srebrny, A. Zarach (1977)
Set Theory and Hierarchy Theory V
- Publisher
- Springer Journals
- Copyright
- Copyright © 1992 by Springer-Verlag
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF01270396
- Publisher site
- See Article on Publisher Site
Abstract
We define certain properties of subsets of models of arithmetic related to their codability in end extensions and elementary end extensions. We characterize these properties using some more familiar notions concerning cuts in models of arithmetic.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Feb 21, 2005