Models with second order properties in successors of singulars

DOI10.2307/2275020zbMath0673.03023OpenAlexW2119141351MaRDI QIDQ3826532

Rami Grossberg

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275020

zbMATH Keywords

omitting types theoremsingular cardinalGCHthere exist at least \(\lambda ^ +\) many

Mathematics Subject Classification ID

Consistency and independence results (03E35) Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55)

Related Items (1)

``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)

Cites Work

• Unnamed Item
• Models with second order properties. IV. A general method and eliminating diamonds
• Aspects of constructibility
• Models with second order properties I. Boolean algebras with no definable automorphisms
• Models with second order properties II. Trees with no undefined branches
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: Models with second order properties in successors of singulars