Some consequences of the axiom of constructibility
From MaRDI portal
Cited in
(23)- Axiom of comparable choice and uniformizability of projective classes
- From wqo to bqo, via Ellentuck's theorem
- Cantor set selectors
- A Souslin operation for ^1_2
- On some new metamathematical results concerning set theory
- Robinson forcing is not absolute
- On definable subgroups of the fundamental group
- A criterion for the metrizability of a compact convex set in terms of the set of extreme points
- Computable numberings of families of infinite sets
- Levy and set theory
- Turing meets Schanuel
- The unique existential quantifier
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$
- Some axioms for constructive analysis
- Models of set theory in which the separation theorem fails
- A complete classification of the Δ₂¹-functions
- The Forcing Method and the Upper Semilattice of Hyperdegrees
- Some results in the effective descriptive set theory
- Some properties of \sum\nolimits₁¹- and \prod\nolimits₁¹-sets in N^N
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
- Forcing axioms and the uniformization-property
- The global \({\Sigma}_{n + 2}^1\)-uniformization property and \(\mathsf{BPFA} \)
- More on generic dimension groups
This page was built for publication: Some consequences of the axiom of constructibility
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3265771)
