Models with second order properties. IV. A general method and eliminating diamonds

DOI10.1016/0168-0072(83)90013-1MaRDI QIDQ762058zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 1983

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(83)90013-1

zbMATH Keywords

treesforcingordered fieldsproblem of Saltzmanreal- closed fieldrigid atomic Boolean algebras

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Model-theoretic forcing (03C25)

Recommendations

• Models with second order properties. V: A general principle
• On \(\nu ^ +\)-saturated ordered fields and Boolean algebras
• Boolean universes above Boolean models
• On the elimination of Malitz quantifiers over Archimedian real closed fields
• Refuting Ehrenfeucht conjecture on rigid models

Cites work

• scientific article; zbMATH DE number 3504970 (Why is no real title available?)
• scientific article; zbMATH DE number 3280049 (Why is no real title available?)
• Can you take Solovay's inaccessible away?
• Classification theory and the number of non-isomorphic models
• Constructions of many complicated uncountable structures and Boolean algebras
• Existentially closed structures in the power of the continuum
• Logic with the quantifier “there exist uncountably many”
• Model theory
• Model-Theoretic Forcing in Logic With a Generalized Quantifier
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties II. Trees with no undefined branches
• Models with second order properties. III. Omitting types forL(Q)
• On definability of ordinals in logic with infinitely long expressions
• On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
• On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements
• S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees

Cited in

(14)

• Models with second order properties. V: A general principle
• Models with second order properties in successors of singulars
• Further cardinal arithmetic
• Vive la différence. III
• S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees
• Definability of initial segments
• Products of regular cardinals and cardinal invariants of products of Boolean algebras
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Rigid differentially closed fields
• Inclusion modulo nonstationary
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Rigid models of Presburger arithmetic
• Remarks in abstract model theory

This page was built for publication: Models with second order properties. IV. A general method and eliminating diamonds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762058)