Goodman's theorem and beyond

DOI10.2140/PJM.1979.84.1MaRDI QIDQ1139042zbMATH OpenOpenAlexFDO

Authors Michael Beeson

Publication date 1979

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1979.84.1

zbMATH Keywords

conservativity of the axiom of choiceextensionalityforcingHeyting arithmeticrealizability

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Second- and higher-order arithmetic and fragments (03F35)

Cited in

(12)

• Arithmetical conservation results
• Remarks on Herbrand normal forms and Herbrand realizations
• On Goodman realizability
• Meeting of the Association for Symbolic Logic Florence, Italy 1982
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Intuitionistic fixed point theories over set theories
• Proof theory of constructive systems: inductive types and univalence
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
• Extended bar induction in applicative theories
• Realizability and intuitionistic logic
• Large sets in intuitionistic set theory
• Proof-theoretical analysis: Weak systems of functions and classes

This page was built for publication: Goodman's theorem and beyond

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