Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 961102
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Systems of explicit mathematics with non-constructive \(\mu\)-operator and join |
scientific article; zbMATH DE number 961102 |
Statements
Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (English)
0 references
6 January 1997
0 references
The aim of this article is to give the proof-theoretic analysis of various sub-systems of Feferman's theory \(\text{T}_1\) for explicit mathematics which contain the nonconstructive \(\mu\)-operator and join. We make use of standard proof-theoretic techniques such as cut-elimination of appropriate semi-formal systems and asymmetrical interpretations in standard structures for explicit mathematics.
0 references
fixed point theories with ordinals
0 references
proof-theoretic analysis of subsystems of Feferman's theory \(\text{T}_ 1\)
0 references
explicit mathematics
0 references
nonconstructive \(\mu\)-operator
0 references
0 references
0.8556275367736816
0 references
0.8273203372955322
0 references
