The model-theoretic ordinal analysis of theories of predicative strength

DOI10.2307/2586768zbMath0939.03066OpenAlexW2047026488MaRDI QIDQ4254639

Richard Sommer, Jeremy Avigad

Publication date: 29 June 1999

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

Full work available at URL: https://doi.org/10.2307/2586768

zbMATH Keywords

ordinal analysismodels of second-order arithmeticSchütte-Feferman ordinal

Mathematics Subject Classification ID

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

Related Items

AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS, Reducing ω-model reflection to iterated syntactic reflection, Classical predicative logic-enriched type theories, Interpreting classical theories in constructive ones

Cites Work

• On the strength of König's duality theorem for countable bipartite graphs
• Systems of predicative analysis