A note on predicative ordinal analysis I: Iterated comprehension and transfinite induction

Journal of Symbolic Logic 84 (1):226-265 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.71

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

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

Predicative collapsing principles.Anton Freund - 2020 - Journal of Symbolic Logic 85 (1):511-530.
A note on iterated consistency and infinite proofs.Anton Freund - 2019 - Archive for Mathematical Logic 58 (3-4):339-346.
An Upper Bound for the Provability of Transfinite Induction in Systems with N-Times Iterated Inductive Definitions.Kurt Schutte, W. Pohlers, J. Diller & G. H. Muller - 1983 - Journal of Symbolic Logic 48 (3):878.
Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31‐35):531-538.
Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31-35):531-538.
Review: W. Pohlers, Cut-Elimination for Impredicative Infinitary Systems. Part I. Ordinal- Analysis for $ID_1$; W. Pohlers, Cut Elimination for Impredicative Infinitary Systems. Part II. Ordinal Analysis for Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-880.
Ordinal inequalities, transfinite induction, and reverse mathematics.Jeffry Hirst - 1999 - Journal of Symbolic Logic 64 (2):769-774.
Ordinal analyses for monotone and cofinal transfinite inductions.Kentaro Sato - 2020 - Archive for Mathematical Logic 59 (3-4):277-291.
Generalizations of the Kruskal-Friedman theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.

Analytics

Added to PP
2019-02-13

Downloads
35 (#624,617)

6 months
6 (#812,813)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ordinal analyses for monotone and cofinal transfinite inductions.Kentaro Sato - 2020 - Archive for Mathematical Logic 59 (3-4):277-291.
Finitist Axiomatic Truth.Sato Kentaro & Jan Walker - 2023 - Journal of Symbolic Logic 88 (1):22-73.

View all 6 citations / Add more citations

References found in this work

Proof-theoretic analysis by iterated reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
From hierarchies to well-foundedness.Dandolo Flumini & Kentaro Sato - 2014 - Archive for Mathematical Logic 53 (7-8):855-863.
A model-theoretic approach to ordinal analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.

Add more references