Generalized fusible numbers and their ordinals

, &
Annals of Pure and Applied Logic 175 (1):103355 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103355

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Why Numbers Are Sets.Eric Steinhart - 2002 - Synthese 133 (3):343-361.
Register computations on ordinals.Peter Koepke & Ryan Siders - 2008 - Archive for Mathematical Logic 47 (6):529-548.
A notation system for ordinal using ψ‐functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Some Theories with Positive Induction of Ordinal Strength $varphiomega 0$.Gerhard Jager & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
A Note on von Neumann Ordinals and Dependence.Jonas Werner - 2023 - Philosophia Mathematica 31 (2):nkad007.
Countable partition ordinals.Rene Schipperus - 2010 - Annals of Pure and Applied Logic 161 (10):1195-1215.
Commutativity of generalized ordinals.John L. Hickman - 1978 - Notre Dame Journal of Formal Logic 19 (4):702-704.
On series of ordinals and combinatorics.James P. Jones, Hilbert Levitz & Warren D. Nichols - 1997 - Mathematical Logic Quarterly 43 (1):121-133.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
Truth by Ascent.Nuel Belnap - 1999 - Dialectica 53 (3-4):291-306.
Truth by ascent.Nuel Belnap - 1999 - Dialectica 53 (3-4):291–306.
Review of Keith Hossack, Knowledge and the Philosophy of Number: What Numbers Are and How They Are Known. [REVIEW]James Franklin - 2022 - Philosophia Mathematica 30 (1):127-129.

Analytics

Added to PP
2023-09-22

Downloads
6 (#1,451,665)

6 months
3 (#974,323)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
Bar induction and ω model reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.

Add more references