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 this page instead for the normal view: Understanding uniformity in Feferman's explicit mathematics |
scientific article; zbMATH DE number 802550
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
