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...
É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 ...
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 ...
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...
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-...
Rosenfeld’s conjecture
Rosenfeld’s conjecture
Conjecture de rosenfeld
Ma thèse de Doctorat est basée sur un sujet très intéressant en Théorie de Graphe : Le tournoi.En 1934, Rédei a prouvé que tout tournoi cont...
Algebraic Set Theory
Algebraic Set Theory
This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms o...