A recursion principle for linear orderings

DOI10.2307/2275177MaRDI QIDQ4008747zbMATH OpenOpenAlexFDO

Authors

Publication date 27 September 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275177

zbMATH Keywords

\(\kappa\)-well-orderingsgameslinear orderingsordinalsrecursion

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10)

Recommendations

• A construction for recursive linear orderings
• Recursive linear orders with recursive successivities
• scientific article; zbMATH DE number 1302495
• scientific article; zbMATH DE number 749934
• A game on partial orderings

Cited in

(8)

• Game-theoretic inductive definability
• Abelian \(p\)-groups with no invariants
• Linear Orders in the Pushdown Hierarchy
• Relations Intrinsically Recursive in Linear Orders
• A construction for recursive linear orderings
• The dense linear ordering principle
• X Latin American Symposium on Mathematical Logic
• FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS

This page was built for publication: A recursion principle for linear orderings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4008747)