An application of invariant sets to global definability

DOI10.2307/2273697MaRDI QIDQ4189263zbMATH OpenOpenAlexFDO

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 TheoryGlobal DefinabilityInfinitary LogicLogic on Admissible Sets

Mathematics Subject Classification ID

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

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)