_1-wellorders without collapsing

DOI10.1007/S00153-015-0420-4zbMATH Open1371.03068OpenAlexW2017640204MaRDI QIDQ2339964FDOQ2339964

Authors: Peter Holy 

Publication date: 14 April 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-015-0420-4

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 \(\Sigma ^*\)
• 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

zbMATH Keywords

forcingdefinable wellordersfailures of the GCH

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)

Cites Work

• Large cardinals and definable well-orders, without the GCH
• Condensation and large cardinals
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• Forcing lightface definable well-orders without the GCH
• Large cardinals and lightface definable well-orders, without the GCH
• 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)