Introduction to ^1_2-logic

DOI10.1007/BF00486046MaRDI QIDQ2565874zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 28 September 2005

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00486046

zbMATH Keywords

\(\Pi^1_2\)-logicdilators

Mathematics Subject Classification ID

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

Recommendations

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• scientific article; zbMATH DE number 4037857
• scientific article; zbMATH DE number 3906494
• A topos-theorist looks at dilators
• scientific article; zbMATH DE number 2003401
• Publication:3027001
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
• scientific article; zbMATH DE number 4066876
• Intrinsically II Relations

Cites work

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

Cited in

(19)

• Set recursion and \(\Pi ^ 1_ 2\)-logic
• Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
• A topos-theorist looks at dilators
• \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy
• Functoroids and ptykoids
• Advances in the Ł and Ł 12 logics
• Minimal bad sequences are necessary for a uniform Kruskal theorem
• Derivatives of normal functions in reverse mathematics
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• scientific article; zbMATH DE number 3914319 (Why is no real title available?)
• scientific article; zbMATH DE number 4002084 (Why is no real title available?)
• Natural well-orderings
• scientific article; zbMATH DE number 4066876 (Why is no real title available?)
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Interpreting GPFCSP within the LΠ ½ logic framework
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• Induction on dilators and Bachmann-Howard fixed points

This page was built for publication: Introduction to \(\Pi^1_2\)-logic

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