Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Systems of explicit mathematics with non-constructive \(\mu\)-operator and join |
scientific article |
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
