Applications of Fodor's lemma to Vaught's conjecture

DOI10.1016/0168-0072(89)90063-8MaRDI QIDQ1114671zbMATH OpenOpenAlexWikidataFDO

Authors Mark Howard

Publication date 1989

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(89)90063-8

zbMATH Keywords

treesadmissibilityVaught's conjecturestationary setFodor's lemma

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Set-theoretic model theory (03C55) Logic on admissible sets (03C70)

Recommendations

• The Vaught conjecture: do uncountable models count?
• A note on counterexamples to the Vaught conjecture
• Vaught's conjecture
• Why some people are excited by Vaught's conjecture
• A proof of Vaught's conjecture for \(\omega\)-stable theories

Cites work

• scientific article; zbMATH DE number 3896909 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3467077 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3625360 (Why is no real title available?)
• scientific article; zbMATH DE number 3304039 (Why is no real title available?)
• A Tree Argument in Infinitary Model Theory
• A guide to the identification of admissible sets above structures
• A proof of Vaught's conjecture for \(\omega\)-stable theories
• Admissible sets and the saturation of structures
• An example concerning Scott heights
• An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
• Applications of vaught sentences and the covering theorem
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models with compactness properties relative to an admissible language
• More Lowenheim-Skolem results for admissible sets
• On the number of generic models
• Ordinal spectra of first-order theories
• Remarks on generic models
• Saturated structures, unions of chains, and preservation theorems
• Scott sentences and admissible sets
• Some Löwenheim-Skolem results for admissible sets
• Some recent developments in higher recursion theory
• Steel forcing and barwise compactness
• Tall α-Recursive Structures
• The number of countable models
• The pure part of HYP(ℳ)

Cited in

(1)

• Fodor's lemma can fail everywhere

This page was built for publication: Applications of Fodor's lemma to Vaught's conjecture

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