Goodman's theorem and beyond

DOI10.2140/pjm.1979.84.1zbMath0433.03039OpenAlexW1990224856MaRDI QIDQ1139042

Michael J. 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

forcingextensionalityHeyting arithmeticrealizabilityconservativity of the axiom of choice

Mathematics Subject Classification ID

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

Related Items (12)

Arithmetical conservation results ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ 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 ⋮ Remarks on Herbrand normal forms and Herbrand realizations ⋮ Extended bar induction in applicative theories ⋮ On Goodman realizability ⋮ Realizability and intuitionistic logic ⋮ Large sets in intuitionistic set theory ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982

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