Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory
View through CrossRef
AbstractWe 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.
Title: A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory
Description:
AbstractWe 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.
Related Results
Zermelo and Set Theory
Zermelo and Set Theory
Ernst Friedrich Ferdinand Zermelo (1871–1953) transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and pro...
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
Fraenkel-Mostowski models are a particularly simple and conceptual tool for proving consistency results involving the axiom of choice, AC. These models satisfy the theory, FM, of a...
Roots of the Conjecture
Roots of the Conjecture
What is conjecture? I suggest the following answer: conjecture (is) investigation on and about the past, (is) prediction, (is) retroduction, (is) suspicion, supposition, (is) inven...
Extending Post-Interpretive Criticism: Additional Diagnostic Indices for Enhanced Phenomenological Fidelity in Art Criticism
Extending Post-Interpretive Criticism: Additional Diagnostic Indices for Enhanced Phenomenological Fidelity in Art Criticism
This paper extends Post-Interpretive Criticism (PIC) by introducing a second layer of diagnostic indices designed to evaluate the phenomenological fidelity of art criticism. While ...
Étude de la conjecture de Seymour sur le second voisinage
Étude de la conjecture de Seymour sur le second voisinage
Soit D un digraphe simple (sans cycle orienté de longueur 2 ). En 1990, P. Seymour a conjecturé que D a un sommet v avec un second voisinage extérieur au moins aussi grand que son ...
Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture
Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture
This survey article is about the Borel Conjecture and several variants (which are inspired by the Galvin-Mycielski-Solovay characterization of strong measure zero) such as the dual...
Categoricity-like Properties in the First Order Realm
Categoricity-like Properties in the First Order Realm
By classical results of Dedekind and Zermelo, second order logic imposes categoricity features on Peano Arithmetic and Zermelo-Fraenkel set theory. However, we have known since Sko...
BI-INTERPRETATION IN WEAK SET THEORIES
BI-INTERPRETATION IN WEAK SET THEORIES
AbstractIn contrast to the robust mutual interpretability phenomenon in set theory, Ali Enayat proved that bi-interpretation is absent: distinct theories extending ZF are never bi-...