Models with second order properties II. Trees with no undefined branches

Annals of Mathematical Logic 14 (1):73 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(78)90009-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Appendix to: "Models with second order properties II".Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (2):223.
Shelah Saharon. Finite diagrams stable in power. Annals of mathematical logic, vol. 2 no. 1 , pp. 69–118.Gregory Cherlin - 1984 - Journal of Symbolic Logic 49 (1):315-316.
J. A. Makowsky, Saharon Shelah, and Jonathan Stavi. ⊿-logics and generalized quantifiers. Annals of mathematical logic, vol. 10 , pp. 155–192. [REVIEW]Jouko Vaananen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
Review: Saharon Shelah, The Number of Non-Isomorphic Models of an Unstable First-Order Theory. [REVIEW]Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (2):436-438.
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.
Review: Saharon Shelah, There are Just Four Second-Order Quantifiers. [REVIEW]John T. Baldwin - 1986 - Journal of Symbolic Logic 51 (1):234-234.
Models with second order properties I. Boolean algebras with no definable automorphisms.Saharon Shelah - 1978 - Annals of Mathematical Logic 14 (1):57.
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.
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.

Analytics

Added to PP
2016-02-04

Downloads
28 (#796,851)

6 months
7 (#699,353)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
Models of Positive Truth.Mateusz Łełyk & Bartosz Wcisło - 2019 - Review of Symbolic Logic 12 (1):144-172.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
Models of weak theories of truth.Mateusz Łełyk & Bartosz Wcisło - 2017 - Archive for Mathematical Logic 56 (5):453-474.
Condensable models of set theory.Ali Enayat - 2022 - Archive for Mathematical Logic 61 (3):299-315.

View all 27 citations / Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

Add more references