A Model-Theoretic Approach to Ordinal Analysis

DOI10.2307/421195zbMATH Open0874.03068OpenAlexW2152101391MaRDI QIDQ4338039FDOQ4338039

Authors: Jeremy Avigad, Richard Sommer 

Publication date: 5 November 1997

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0301-toc.htm

Recommendations

• The model-theoretic ordinal analysis of theories of predicative strength
• scientific article; zbMATH DE number 1870411
• Theories and ordinals in proof theory

zbMATH Keywords

ordinal analysismodels of arithmetictrue arithmeticnon-standard modelproof-theoretic ordinals\(\alpha\)-largeness

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62) Recursive ordinals and ordinal notations (03F15) Nonstandard models of arithmetic (03H15)

Cites Work

• Title not available (Why is that?)
• Rapidly growing Ramsey functions
• Title not available (Why is that?)
• A classification of the ordinal recursive functions
• Proof theory of reflection
• Formalizing forcing arguments in subsystems of second-order arithmetic
• On the strength of König's duality theorem for countable bipartite graphs
• On the relationship between ATR₀ and
• Transfinite induction within Peano arithmetic
• Subsystems of true arithmetic and hierarchies of functions
• Inductive full satisfaction classes

Cited In (14)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction
• Title not available (Why is that?)
• Theories and Ordinals: Ordinal Analysis
• Ordinal definability in Jensen's model
• Classifying the Provably Total Functions of PA
• Saturated models of universal theories
• Dynamic ordinal analysis
• More on lower bounds for partitioning \(\alpha\)-large sets
• Title not available (Why is that?)
• Partitioning 𝛼–large sets: Some lower bounds
• The model-theoretic ordinal analysis of theories of predicative strength
• A model of the generic Vopěnka principle in which the ordinals are not Mahlo
• A model theoretic approach to proof theory of arithmetic

This page was built for publication: A Model-Theoretic Approach to Ordinal Analysis

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