Global definability theory in ๐ฟ_{๐โ๐}
From MaRDI portal
Publication:4767313
DOI10.1090/S0002-9904-1973-13258-6zbMath0281.02053MaRDI QIDQ4767313
Publication date: 1973
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Model theory (03C99) Other infinitary logic (03C75) Other classical first-order model theory (03C68)
Related Items (3)
Some local definability results on countable topological structures โฎ Game sentences, recursive saturation and definability โฎ An application of invariant sets to global definability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Some new results in definability
- On a generalization of a theorem of E. W. Beth
- Generalized interpolation and definability
- Local definability theory
- On the model theory of denumerably long formulas with finite strings of quantifiers
This page was built for publication: Global definability theory in ๐ฟ_{๐โ๐}