An application of invariant sets to global definability

DOI10.2307/2273697zbMath0404.03022OpenAlexW1980178155MaRDI QIDQ4189263

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) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Logic on admissible sets (03C70)

Related Items (1)

The metamathematics of model theory: Discovering language in action

Cites Work

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

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