Premium
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory
Author(s) -
Gregoriades Vassilios
Publication year - 2017
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201600094
Subject(s) - mathematics , recursion (computer science) , conjecture , characterization (materials science) , set (abstract data type) , pure mathematics , discrete mathematics , combinatorics , algorithm , computer science , materials science , programming language , nanotechnology
We prove a recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory by using tools from effective descriptive set theory and by revisiting the result of Miller that orbits in Polish G ‐spaces are Borel sets.