Understanding uniformity in Feferman's explicit mathematics
type: Item
instance of: scholarly article
title: Understanding uniformity in Feferman's explicit mathematics
zbMATH Open document ID: 0845.03026
DOI: 10.1016/0168-0072(94)00058-B
author: Thomas Glaß
published in: Annals of Pure and Applied Logic
publication date: 1995-10-04T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 802550
zbMATH Keywords: uniformity
zbMATH Keywords: explicit mathematics
zbMATH Keywords: join axiom
reviewed by: Pier Luigi Ferrari
describes a project that uses: Automath
MaRDI profile type: Publication
cites work: Q3914980
cites work: Q5573965
cites work: On the relation between choice and comprehension principles in second order arithmetic
cites work: Q5610115
cites work: Q4128540
cites work: Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
cites work: Q3882452
cites work: Q3663255
cites work: Q3039340
cites work: Hilbert's program relativized; Proof-theoretical and foundational reductions
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Q3956931
cites work: Q3778746
cites work: On the Interpretation of Non-Finitist Proofs--Part I
cites work: Q3773877
cites work: Q3809793
cites work: Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
cites work: Proof theory. 2nd ed
cites work: Partial realizations of Hilbert's program
cites work: Monotone inductive definitions in a constructive theory of functions and classes
cites work: The Universe of Set Theory
full work available at URL: 0168-0072(94)00058-b
OpenAlex ID: W2120929535
description: scientific article; zbMATH DE number 802550