Recent Advances in Ordinal Analysis: Π12— CA and Related Systems (Q4873894): Difference between revisions

@@ Property / cites work @@
+Introduction to \(\Pi^1_2\)-logic
@@ Property / cites work: Introduction to \(\Pi^1_2\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency proofs of subsystems of classical analysis
+Normal rank
@@ Property / cites work @@
+Strong axioms of infinity and elementary embeddings
+Normal rank
@@ Property / cites work @@
+Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040375
@@ Property / cites work: Q4040375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory of reflection
@@ Property / cites work: Proof theory of reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of KPM
@@ Property / cites work: Proof-theoretic analysis of KPM / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory and ordinal analysis
@@ Property / cites work: Proof theory and ordinal analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic
+Normal rank
@@ Property / cites work @@
+Projective determinacy
@@ Property / cites work: Projective determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A well-ordering proof for Feferman's theoryT 0
@@ Property / cites work: A well-ordering proof for Feferman's theoryT 0 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheorie vonKPN
@@ Property / cites work: Beweistheorie vonKPN / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of some Martin-Löf type theories
@@ Property / cites work: The strength of some Martin-Löf type theories / rank @@
+Normal rank

Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894): Difference between revisions

Latest revision as of 10:36, 24 May 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)