Global definability theory in 𝐿_{𝜔₁𝜔}

DOI10.1090/S0002-9904-1973-13258-6zbMATH Open0281.02053MaRDI QIDQ4767313FDOQ4767313

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

• Title not available (Why is that?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the model theory of denumerably long formulas with finite strings of quantifiers
• Local definability theory
• Some new results in definability
• On a generalization of a theorem of E. W. Beth
• Generalized interpolation and definability

Cited In (3)

• Some local definability results on countable topological structures
• Game sentences, recursive saturation and definability
• 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)