The model-theoretic ordinal analysis of theories of predicative strength

The model-theoretic ordinal analysis of theories of predicative strength

We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first-and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 1999-03, Vol.64 (1), p.327-349
Hauptverfasser: Avigad, Jeremy, Sommer, Richard
Format: Artikel
Sprache:eng
Schlagworte:
Arithmetic
Induction assumption
Mathematical logic
Mathematical theorems
Modeling
Multilevel models
Natural numbers
Ordinal notation
Parametric models
Predicate logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first-and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.
ISSN:0022-4812
1943-5886
DOI:10.2307/2586768