The metamathematics of model theory: Discovering language in action

DOI10.2307/2273751zbMath0485.03015OpenAlexW2055223523MaRDI QIDQ3944585

Douglas E. Miller

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

continuous model theoryanalytic Borel actioncollection of first-order elementary classesnatural topological space of countable modelsspace of models with a fixed underlying set

Mathematics Subject Classification ID

Model theory (03C99) Model theory of denumerable and separable structures (03C15)

Cites Work

• Monadic theory of order and topology, I
• An application of invariant sets to global definability
• Unnamed Item
• Unnamed Item

This page was built for publication: The metamathematics of model theory: Discovering language in action