- 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
Remarks in abstract model theory
Annals of Pure and Applied Logic 29 (3):255-288 (1985)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Judy Roitman. Height and width of superatomic Boolean algebras. Proceedings of the American Mathematical Society, vol. 94 , pp. 9–14. - James E. Baumgartner and Saharon Shelah. Remarks on superatomic Boolean algebras. Annals of pure and applied logic, vol. 33 , pp. 109–129. [REVIEW]Martin Weese - 1989 - Journal of Symbolic Logic 54 (3):1108-1109.
Saharon Shelah and Lee Stanley. A theorem and some consistency results in partition calculus. Annals of pure applied logic, vol. 36 , pp. 119–152. [REVIEW]James E. Baumgartner - 1990 - Journal of Symbolic Logic 55 (2):888-889.
Uri Abraham, Matatyahu Rubin, and Saharon Shelah. On the consistency of some partition theorems for continuous colorings, and the structure of ℵ 1 -dense real order types. Annals of pure and applied logic, vol. 29 (1985), pp. 123–206. [REVIEW]J. Steprāns - 2002 - Bulletin of Symbolic Logic 8 (2):303-305.
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.Jouko Väänänen - 2020 - Theoria 87 (2):349-360.
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah.Andrés Villaveces - 2021 - Theoria 87 (4):1001-1012.
Shelah S.. Stable theories. Israel journal of mathematics, vol. 7 , pp. 187–202.Shelah Saharon. Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory. Annals of mathematical logic, vol. 3 no. 3 , pp. 271–362. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
Review: S. Shelah, Stable Theories; Saharon Shelah, Stability, the F.C.P., and Superstability; Model Theoretic Properties of Formulas in First Order Theory. [REVIEW]John T. Baldwin - 1973 - Journal of Symbolic Logic 38 (4):648-649.
The Hart-Shelah example, in stronger logics.Saharon Shelah & Andrés Villaveces - 2021 - Annals of Pure and Applied Logic 172 (6):102958.
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
Classification theory through stationary logic.Fred Appenzeller - 2000 - Annals of Pure and Applied Logic 102 (1-2):27-68.
Analytics
Added to PP
2013-10-30
Downloads
30 (#754,850)
6 months
10 (#418,198)
2013-10-30
Downloads
30 (#754,850)
6 months
10 (#418,198)
Historical graph of downloads
Citations of this work
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
Barwise: Abstract model theory and generalized quantifiers.Jouko Väänänen - 2004 - Bulletin of Symbolic Logic 10 (1):37-53.
Barwise: Abstract Model Theory and Generalized Quantifiers.Jouko Va An Anen - 2004 - Bulletin of Symbolic Logic 10 (1):37-53.
There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
References found in this work
Positive results in abstract model theory: a theory of compact logics.J. A. Makowsky & S. Shelah - 1983 - Annals of Pure and Applied Logic 25 (3):263-299.
Models with second order properties IV. A general method and eliminating diamonds.Saharon Shelah - 1983 - Annals of Pure and Applied Logic 25 (2):183-212.
Stationary logic and its friends. I.Alan H. Mekler & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):129-138.
A correction to “stationary logic”.Jon Barwise, Matt Kaufmann & Michael Makkai - 1981 - Annals of Mathematical Logic 20 (2):231-232.
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-667477cd97-2pm92 dc2