Global definability theory in 𝐿_{𝜔₁𝜔}

DOI10.1090/S0002-9904-1973-13258-6MaRDI QIDQ4767313zbMATHFDO

Authors Michael Makkai

Publication date 1973

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

Other infinitary logic (03C75) Other classical first-order model theory (03C68) Model theory (03C99)

Cites work

• scientific article; zbMATH DE number 3304039 (Why is no real title available?)
• scientific article; zbMATH DE number 3372013 (Why is no real title available?)
• scientific article; zbMATH DE number 3392414 (Why is no real title available?)
• Generalized interpolation and definability
• Local definability theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On a generalization of a theorem of E. W. Beth
• On the model theory of denumerably long formulas with finite strings of quantifiers
• Some new results in definability

Cited in

(3)

• Game sentences, recursive saturation and definability
• Some local definability results on countable topological structures
• An application of invariant sets to global definability

This page was built for publication: Global definability theory in 𝐿_{𝜔₁𝜔}

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