Strong normalization of barrecursive terms without using infinite terms (Q3739119): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Extensional Gödel functional interpretation. A consistency proof of classical analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5519134 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4767297 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ein starker Normalisationssatz für die bar-rekursiven Funktionale / rank | |||
Normal rank | |||
Latest revision as of 15:25, 17 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong normalization of barrecursive terms without using infinite terms |
scientific article |
Statements
Strong normalization of barrecursive terms without using infinite terms (English)
0 references
1985
0 references
strong normalization theorem
0 references
barrecursive terms
0 references
functionals of finite type
0 references
0 references
