DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Borel hierarchy
Borel hierarchy
Calibrating Determinacy Strength in Levels of the Borel Hierarchy
Descriptive Set Theory
Descriptive Set Theory and Ω-Powers of Finitary Languages Olivier Finkel, Dominique Lecomte
Borel Hierarchy and Omega Context Free Languages Olivier Finkel
Structural Dichotomy Theorems in Descriptive Set Theory
The Limit View of Infinite Computations
Computer Science and the Fine Structure of Borel Sets Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
Descriptive Set Theory, by Yiannis N. Moschovakis, Studies in Logic and the Foundations of Mathematics, Vol
HYPERARITHMETICAL SETS Contents 1. Preamble: Kleene [1943]
Borel Sets and Functions in Topological Spaces
Equivalences of Determinacy Between Levels of the Borel Hierarchy and Long Games, and Some Generalizations
Borel Determinacy
Determinacy of Refinements to the Difference Hierarchy of Co-Analytic
Equivalence Relations and Determinacy 3
The Arithmetical Hierarchy in the Setting of Ω1
Descriptive Set Theory and Forcing
Arxiv:2008.06613V3 [Math.LO] 2 Jul 2021 Then F Esay We Nti Aew Ontepc Rrqiepoens.Ide,Fra for Indeed, Properness
The Arithmetical Hierarchy in the Setting of Ω 1 Computability
Top View
Descriptive Set Theory
Classical Descriptive Set Theory
The Limits of Determinacy in Second Order Arithmetic
How to Prove Theorems About Borel Sets the Hard Way
On the Length of Borel Hierarchies
Borel and Analytic Sets in Locales
New Dichotomies for Borel Equivalence Relations Author(S): Greg Hjorth and Alexander S
Towards a Theory of Definable Sets
Introduction to Classical Descriptive Set Theory
Modern Descriptive Set Theory
Arxiv:1308.6318V1 [Math.LO] 28 Aug 2013 Date .Tecascleetv Orsodne27 26 Theory Set Descriptive Invariant 11 Correspondence Pointclasses Classical-Effective 6
The Hierarchy of Ω1-Borel Sets 1
New Directions in Descriptive Set Theory Author(S): Alexander S