Monotone inductive definitions in a constructive theory of functions and classes

DOI10.1016/0168-0072(89)90019-5MaRDI QIDQ1115865zbMATH OpenOpenAlexWikidataFDO

Authors S. Takahashi

Publication date 1989

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(89)90019-5

zbMATH Keywords

proof-theoretic strengthcombinatorsconstructive theory of functions and classesleast fixed point principlemonotone inductive definitions

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Abstract and axiomatic computability and recursion theory (03D75) Inductive definability (03D70)

Recommendations

• Monotone inductive definitions in explicit mathematics
• scientific article; zbMATH DE number 2037780
• scientific article; zbMATH DE number 3924774
• scientific article; zbMATH DE number 1870425
• Publication:3197877
• A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
• The formulae-as-classes interpretation of constructive set theory
• Explicit mathematics with the monotone fixed point principle
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• On Tarski’s fixed point theorem

Cites work

• scientific article; zbMATH DE number 3831930 (Why is no real title available?)
• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Abstract First Order Computability. I
• Effective operations on partial recursive functions
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies

Cited in

(16)

• scientific article; zbMATH DE number 1870425 (Why is no real title available?)
• On power set in explicit mathematics
• scientific article; zbMATH DE number 1841846 (Why is no real title available?)
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• The Operational Perspective: Three Routes
• Proof theory of constructive systems: inductive types and univalence
• Monotone recursive definition of predicates and its realizability interpretation
• The operational penumbra: some ontological aspects
• On the proof-theoretic strength of monotone induction in explicit mathematics
• On the intuitionistic strength of monotone inductive definitions
• Systems of explicit mathematics with non-constructive -operator and join
• scientific article; zbMATH DE number 2247249 (Why is no real title available?)
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
• Explicit mathematics with the monotone fixed point principle
• Understanding uniformity in Feferman's explicit mathematics
• On Tarski’s fixed point theorem

This page was built for publication: Monotone inductive definitions in a constructive theory of functions and classes

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