An application of invariant sets to global definability

DOI10.2307/2273697MaRDI QIDQ4189263zbMATHOpenAlexFDO

Authors Douglas E. Miller

Publication date 1979

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

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

zbMATH Keywords

Descriptive Set TheoryInfinitary LogicGlobal DefinabilityLogic on Admissible Sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other infinitary logic (03C75) Interpolation, preservation, definability (03C40) Logic on admissible sets (03C70)

Cites work

• Applications of vaught sentences and the covering theorem
• Global definability theory in 𝐿_{𝜔₁𝜔}

Cited in

(1)

• The metamathematics of model theory: Discovering language in action

This page was built for publication: An application of invariant sets to global definability

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