Generalized fusible numbers and their ordinals

DOI10.1016/j.apal.2023.103355arXiv2205.11017MaRDI QIDQ6050166

Alexander I. Bufetov, Gabriel Nivasch, Fedor N. Pakhomov

Publication date: 12 October 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.11017

zbMATH Keywords

halting problemcountable ordinalfusible numbersmall veblen ordinal

Mathematics Subject Classification ID

Logic in computer science (03B70) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic investigations on Kruskal's theorem
• Bar induction and \(\omega\) model reflection
• Well-Partial Orderings and their Maximal Order Types
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions
• Systems of predicative analysis
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• New Computational Paradigms
• Ordering by Divisibility in Abstract Algebras
• Reducing ω-model reflection to iterated syntactic reflection

This page was built for publication: Generalized fusible numbers and their ordinals