Descriptive set theory
From MaRDI portal
Publication:5322161
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Recursive functions and relations, subrecursive hierarchies (03D20) Classification of real functions; Baire classification of sets and functions (26A21) Other set-theoretic hypotheses and axioms (03E65) Abstract and axiomatic computability and recursion theory (03D75) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)
Recommendations
Cited in
(only showing first 100 items - show all)- Postclassical families of functions proper to descriptive and prescriptive spaces
- Determinacy of refinements to the difference hierarchy of co-analytic sets
- On the Reals Which Cannot Be Random
- GAMES AND REFLECTION IN
- The size of the class of countable sequences of ordinals
- THE DISCONTINUITY PROBLEM
- Iterated priority arguments in descriptive set theory
- \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
- Classical descriptive set theory as a refinement of effective descriptive set theory
- Games for the -calculus
- The descriptive complexity of the set of all closed zero-dimensional subsets of a Polish space
- On the elimination of imaginaries from certain valued fields
- DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
- Lebesgue's density theorem and definable selectors for ideals
- CONSTRUCTING MAXIMAL COFINITARY GROUPS
- Non-collapse of the effective Wadge hierarchy
- Statures and sobrification ranks of Noetherian spaces
- Intuitionism and effective descriptive set theory
- scientific article; zbMATH DE number 1959538 (Why is no real title available?)
- scientific article; zbMATH DE number 218581 (Why is no real title available?)
- Locally hyperarithmetical induction
- Projective sets, intuitionistically
- On the lattices of effectively open sets
- Recursively presented games and strategies
- COUNTABLE LENGTH EVERYWHERE CLUB UNIFORMIZATION
- Bisimilarity is not Borel
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
- Minimal controllability time for systems with nonlinear drift under a compact convex state constraint
- \({\Pi}_1^1\)-Martin-Löf random reals as measures of natural open sets
- Wadge-Wagner hierarchies
- Parallel feedback Turing computability
- Effective aspects of Hausdorff and Fourier dimension
- Forcing the Σ31-separation property
- Towards a descriptive set theory for domain-like structures
- The prehistory of the subsystems of second-order arithmetic
- Learning Theory and Descriptive Set Theory
- Tall 𝐹_{𝜎} subideals of tall analytic ideals
- GAMES AND INDUCTION ON REALS
- A characterization of bad approximability
- First-order Gödel logics
- A Galois connection between Turing jumps and limits
- Comparing the degrees of enumerability and the closed Medvedev degrees
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Towards the Effective Descriptive Set Theory
- On reduction and separation of projective sets in Tychonoff spaces
- Postclassical families of functions proper for descriptive and prescriptive spaces
- Computational capabilities of analog and evolving neural networks over infinite input streams
- On the scope of the Effros theorem
- The consistency strength of long projective determinacy
- Projective games on the reals
- Provably \(\Delta_1\) games
- A proof of Grilliot's theorem
- An application of descriptive set theory to complex analysis
- Computable concurrent processes
- There is no bound on Borel classes of graphs in the Luzin–Novikov theorem
- Non-collapse of the effective wadge hierarchy
- Determined admissible sets
- Projective Measure Without Projective Baire
- Polishness of some topologies related to word or tree automata
- Square principles in \(\mathbb{P}_{\max}\) extensions
- Prior knowledge and monotone decision problems
- A strong partition cardinal above \(\varTheta \)
- A complexity problem for Borel graphs
- Universally Baire sets and generic absoluteness
- A note on an effective Polish topology and Silver's dichotomy theorem
- Strongly unbounded and strongly dominating sets of reals generalized
- A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
- Random geometric graphs and isometries of normed spaces
- The descriptive complexity of connectedness in Polish spaces
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- Boundedness theorems for flowers and sharps
- Every \(\Delta^0_2\) Polish space is computable topological
- Descriptive Borel sets
- Random reals as measures of natural open sets
- Set theory and dynamical systems
- A characterization of \(\omega \)-limit sets in subshifts of Baire space
- Descriptive complexity of subsets of the space of finitely generated groups
- The envelope of a pointclass under a local determinacy hypothesis
- Proof systems for infinite behaviours
- A Fubini-type theorem for Hausdorff dimension
- Polish group actions and effectivity
- scientific article; zbMATH DE number 38322 (Why is no real title available?)
- Lawvere-Tierney topologies for computability theorists
- Recursive Polish spaces
- Equivalence of codes for countable sets of reals
- OCA and automorphisms of \({\mathfrak P}(\omega)/\text{fin}\)
- Amenability, connected components, and definable actions
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
- Feedback computability on Cantor space
- Turing degrees in Polish spaces and decomposability of Borel functions
- Computability of Subsets of Metric Spaces
- An undecidable extension of Morley's theorem on the number of countable models
- SHORTENING CLOPEN GAMES
- Iterates of \(M_1\)
- Linear orders: when embeddability and epimorphism agree
- Determinacy and regularity properties for idealized forcings
- Wadge-like degrees of Borel bqo-valued functions
- Uniformity results on the Baire property
- A diamond-plus principle consistent with AD
This page was built for publication: Descriptive set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5322161)
