How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F10
@@ Property / Mathematics Subject Classification ID: 03F10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6083826
@@ Property / zbMATH DE Number: 6083826 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof theory
@@ Property / zbMATH Keywords: proof theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+combinatory logic
@@ Property / zbMATH Keywords: combinatory logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+primitive recursive functionals
@@ Property / zbMATH Keywords: primitive recursive functionals / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gödel's T
@@ Property / zbMATH Keywords: Gödel's T / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ordinal analysis
@@ Property / zbMATH Keywords: ordinal analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+second-order logic
@@ Property / zbMATH Keywords: second-order logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00153-012-0277-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2074018571
@@ Property / OpenAlex ID: W2074018571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778814
@@ Property / cites work: Q2778814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934555
@@ Property / cites work: Q4934555 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Gödel's T Via Expanded Head Reduction Trees
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591512
@@ Property / cites work: Q5591512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606582
@@ Property / cites work: Q5606582 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal analysis of terms of finite type
@@ Property / cites work: Ordinal analysis of terms of finite type / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912575
@@ Property / cites work: Q3912575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428884
@@ Property / cites work: Q4428884 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+On the fundamental conjecture of \(GLC\). I, II
@@ Property / cites work: On the fundamental conjecture of \(GLC\). I, II / rank @@
+Normal rank
@@ Property / cites work @@
+On the fundamental conjecture of \(GLC\). V
@@ Property / cites work: On the fundamental conjecture of \(GLC\). V / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:453195