scientific article; zbMATH DE number 4068856
From MaRDI portal
Publication:3801541
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15) Determinacy principles (03E60)
Recommendations
- A note on recursive models of set theories
- Descriptive set theory, from Cantor to Wadge and beyond
- scientific article; zbMATH DE number 218510
- New Directions in Descriptive Set Theory
- On semialgebraic sets and its recursiveness
- scientific article; zbMATH DE number 1531935
- Towards the Effective Descriptive Set Theory
- Set recursion and \(\Pi ^ 1_ 2\)-logic
- Descriptive set theory and definable forcing
- Some descriptive set theory and core models
Cited in
(49)- A note on an effective Polish topology and Silver's dichotomy theorem
- Remarks on two problems by M. Laczkovich on functions with Borel measurable differences
- Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets
- Weak comparability of well orderings and reverse mathematics
- Finite versus infinite: an insufficient shift
- WHAT IS A RESTRICTIVE THEORY?
- Mass problems associated with effectively closed sets
- Number of open sets for a topology with a countable basis
- On the logical strength of the better quasi order with three elements
- Borel quasi-orderings in subsystems of second-order arithmetic
- Canonical forms of Borel-measurable mappings \(\Delta: [\omega]^{\omega}\to {\mathbb{R}}\)
- Wadge-like degrees of Borel bqo-valued functions
- Foundations of BQO Theory
- Embeddability on functions: Order and chaos
- Better-quasi-orderings and coinduction
- Reverse mathematics, Young diagrams, and the ascending chain condition
- The uniform Martin's conjecture for many-one degrees
- Complexity of Ramsey null sets
- The Borel complexity of isomorphism for o-minimal theories
- Separability of reproducing kernel spaces
- Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor
- Forcing revisited
- Epimorphisms between linear orders.
- Zero-dimensional \(\sigma \)-homogeneous spaces
- The Wadge hierarchy on Zariski topologies
- Proving a witness lemma in better-quasiordering theory: the method of ‘extensions’
- Bounds on Scott rank for various nonelementary classes
- Reverse mathematics and homeomorphic embeddings
- On the structure of the Wadge degrees of bqo-valued Borel functions
- Recursion-theoretic hierarchies
- The countable admissible ordinal equivalence relation
- Determinacy in third order arithmetic
- The logical strength of minimal bad arrays
- CONSTRUCTING MAXIMAL COFINITARY GROUPS
- Descriptive set theory
- Well-Quasi Orders and Hierarchy Theory
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank
- Countable skeletons of finitely generated discriminator varieties
- REVERSE MATHEMATICS OF MF SPACES
- Minimal subspaces and isomorphically homogeneous sequences in a Banach space
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Disjoint embeddings of compacta
- Complete analytic equivalence relations
- EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE
- From wqo to bqo, via Ellentuck's theorem
- A co-analytic Cohen-indestructible maximal cofinitary group
- The reverse mathematics of wqos and bqos
- Projective Measure Without Projective Baire
- A complexity problem for Borel graphs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3801541)
