A Tree Argument in Infinitary Model Theory

DOI10.2307/2041293zbMath0384.03019OpenAlexW4239052761MaRDI QIDQ4163198

Victor Harnik, Michael Makkai

Publication date: 1978

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

Mathematics Subject Classification ID

Trees (05C05) Other infinitary logic (03C75) Model-theoretic forcing (03C25)

Related Items (5)

The cardinality of subdirectly indecomposable systems in quasivarieties ⋮ Equivalences Generated by Families of Borel Sets ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ The number of subdirectly irreducible algebras in a variety. II ⋮ Three red herrings around Vaught’s conjecture

Cites Work

• Unnamed Item
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
• Models with compactness properties relative to an admissible language
• Equivalences Generated by Families of Borel Sets
• The number of countable models

This page was built for publication: A Tree Argument in Infinitary Model Theory