Introduction to \(\Pi^1_2\)-logic

DOI10.1007/BF00486046zbMath1069.03503MaRDI QIDQ2565874

Jean-Yves Girard

Publication date: 28 September 2005

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

\(\Pi^1_2\)-logicdilators

Mathematics Subject Classification ID

Descriptive set theory (03E15) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

Minimal bad sequences are necessary for a uniform Kruskal theorem, Well-Ordering Principles in Proof Theory and Reverse Mathematics, Induktive Definitionen und Dilatoren. (Inductive definitions and dilators), Well ordering principles for iterated \(\Pi^1_1\)-comprehension, Natural well-orderings, Set-theoretic reflection is equivalent to induction over well-founded classes, Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems, Derivatives of normal functions in reverse mathematics, \(\Pi_1^1\)-comprehension as a well-ordering principle

Cites Work

• Rungs and trees
• Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
• Π12-logic, Part 1: Dilators