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

DOI10.1016/0168-0072(83)90013-1zbMATH Open0558.03014OpenAlexW2067360092MaRDI QIDQ762058FDOQ762058

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

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

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)

Cites Work

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

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
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
• Products of regular cardinals and cardinal invariants of products of Boolean algebras
• Rigid differentially closed fields
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• 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)