A Tree Argument in Infinitary Model Theory

DOI10.2307/2041293MaRDI QIDQ4163198zbMATH OpenOpenAlexFDO

Authors Victor Harnik, Michael Makkai

Publication date 1978

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

Mathematics Subject Classification ID

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

Cites work

• An “admissible” generalization of a theorem on countable ∑11 sets of reals with applications
• Equivalences Generated by Families of Borel Sets
• scientific article; zbMATH DE number 3634238 (Why is no real title available?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models with compactness properties relative to an admissible language
• The number of countable models

Cited in

(5)

• The cardinality of subdirectly indecomposable systems in quasivarieties
• 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
• Equivalences Generated by Families of Borel Sets

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

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