How to assign ordinal numbers to combinatory terms with polymorphic types (Q453195): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
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 | |||
Property / describes a project that uses: Automath / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-012-0277-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2074018571 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2778814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4934555 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Analyzing Gödel's T Via Expanded Head Reduction Trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Typed Lambda Calculi and Applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatory logic. With two sections by William Craig. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatory logic. Vol. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5591512 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5606582 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordinal analysis of terms of finite type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3912575 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4428884 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3325707 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143279 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the fundamental conjecture of \(GLC\). I, II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the fundamental conjecture of \(GLC\). V / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof theory. 2nd ed / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499084 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:27, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | How to assign ordinal numbers to combinatory terms with polymorphic types |
scientific article |
Statements
How to assign ordinal numbers to combinatory terms with polymorphic types (English)
0 references
18 September 2012
0 references
proof theory
0 references
combinatory logic
0 references
primitive recursive functionals
0 references
Gödel's T
0 references
ordinal analysis
0 references
second-order logic
0 references