Applications of Fodor's lemma to Vaught's conjecture

DOI10.1016/0168-0072(89)90063-8zbMATH Open0663.03016OpenAlexW2041999243WikidataQ123344280 ScholiaQ123344280MaRDI QIDQ1114671FDOQ1114671

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

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

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)

Cites Work

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

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)