- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Model theoretic methods in the theory of isols
Annals of Mathematical Logic 14 (3):273-285 (1978)
Abstract
This article has no associated abstract. (fix it)DOI
10.1016/0003-4843(78)90021-9
My notes
Similar books and articles
An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
A Δ02 theory of regressive isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
A $Delta^0_2$ Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459-468.
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.Joseph Barback - 1997 - Mathematical Logic Quarterly 43 (1):83-91.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.
Isols and the pigeonhole principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
Analytics
Added to PP
2014-01-17
Downloads
4 (#1,248,778)
6 months
1 (#481,788)
2014-01-17
Downloads
4 (#1,248,778)
6 months
1 (#481,788)
Historical graph of downloads
References found in this work
Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.
Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
Recursive Equivalence Types and Combinatorial Functions.John Myhill - 1966 - Journal of Symbolic Logic 31 (3):510-511.
Arithmetically Isolated Sets and Nonstandard Models.A. Nerode - 1967 - Journal of Symbolic Logic 32 (2):269-269.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ffd8f9497-mnh4c N