The Invariant ∏ 0 α Separation Principle

DOI10.2307/1997732zbMath0409.03030OpenAlexW2016025735MaRDI QIDQ4196416

Douglas E. Miller

Publication date: 1978

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Descriptive Set TheoryPolish SpaceInfinitary LogicSeparation PrincipleLogic on Admissible Sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other infinitary logic (03C75) Logic on admissible sets (03C70)

Related Items

On optimal Scott sentences of finitely generated algebraic structures, AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS, Describing groups, Complexity of Scott sentences, Polish group actions: Dichotomies and generalized elementary embeddings, Polish Group Actions and the Vaught Conjecture, Finitely generated groups are universal among finitely generated structures, Topics in invariant descriptive set theory, Borel equivalence relations and classifications of countable models