Understanding uniformity in Feferman's explicit mathematics

DOI10.1016/0168-0072(94)00058-BMaRDI QIDQ1899146zbMATH OpenOpenAlexFDO

Authors Thomas Glaß

Publication date 4 October 1995

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(94)00058-b

zbMATH Keywords

explicit mathematicsjoin axiomuniformity

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Other constructive mathematics (03F65)

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.

Recommendations

• Uniform inseparability in explicit mathematics
• Systems of explicit mathematics with non-constructive -operator and join
• On power set in explicit mathematics
• Universes in explicit mathematics

Cites work

• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• scientific article; zbMATH DE number 3831930 (Why is no real title available?)
• scientific article; zbMATH DE number 3815601 (Why is no real title available?)
• scientific article; zbMATH DE number 4033739 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 4079410 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3726339 (Why is no real title available?)
• scientific article; zbMATH DE number 3777480 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3331288 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Monotone inductive definitions in a constructive theory of functions and classes
• On the Interpretation of Non-Finitist Proofs--Part I
• On the relation between choice and comprehension principles in second order arithmetic
• Partial realizations of Hilbert's program
• Proof theory. 2nd ed
• The Universe of Set Theory

Cited in

(7)

• On the proof-theoretic strength of monotone induction in explicit mathematics
• A theory of rules for enumerated classes of functions
• Universes over Frege structures
• Systems of explicit mathematics with non-constructive -operator and join
• Uniform perfectness for interval exchange transformations with or without flips
• Uniform inseparability in explicit mathematics
• scientific article; zbMATH DE number 2134915 (Why is no real title available?)

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Understanding uniformity in Feferman's explicit mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1899146)