Understanding uniformity in Feferman's explicit mathematics (Q1899146)
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 802550
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Understanding uniformity in Feferman's explicit mathematics |
scientific article; zbMATH DE number 802550 |
Statements
Understanding uniformity in Feferman's explicit mathematics (English)
0 references
4 October 1995
0 references
The aim of the paper is to make clear the role of uniformity in explicit mathematics, with particular regard to Feferman's axiom systems. The properties of some systems for explicit mathematics without uniformity are analyzed. In particular it is shown that the join axiom collapses in the absence of uniformity.
0 references
uniformity
0 references
explicit mathematics
0 references
join axiom
0 references
0 references
0.7693890929222107
0 references
0.7616709470748901
0 references
0.756926953792572
0 references
0.7551915645599365
0 references
