_1-wellorders without collapsing
From MaRDI portal
Recommendations
- On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
- Well-quasi-ordering and the Hausdorff quasi-uniformity
- Another generalization of Higman's well quasi order result on ^*
- Undefinability of κ-well-orderings in L∞κ
- The structure of $ω_1$-like orderings
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension
- Order-compactifications of totally ordered spaces: Revisited
- Ordered compactification of totally ordered spaces
- The orderability of nonarchimedean spaces
Cites work
- Condensation and large cardinals
- Forcing lightface definable well-orders without the GCH
- Large cardinals and definable well-orders, without the GCH
- Large cardinals and lightface definable well-orders, without the GCH
- Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
- Simplest possible locally definable well-orders
Cited in
(6)- Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings
- Simplest possible locally definable well-orders
- \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
- Large cardinals and lightface definable well-orders, without the GCH
- Forcing lightface definable well-orders without the GCH
- Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
This page was built for publication: \(\Sigma_1\)-wellorders without collapsing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339964)