scientific article; zbMATH DE number 3290305

MaRDI QIDQ5572328zbMATH OpenFDO

Authors Paul C. Gilmore

Publication date 1968

Full work available at URL http://www.numdam.org/item?id=CM_1968__20__53_0, https://eudml.org/doc/88985

zbMATH Keywords

set theory

Cites work

• A complete and consistent modal set theory
• A formulation of the simple theory of types
• Abstract set theory
• Consistency of the Continuum Hypothesis. (AM-3)
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 3926869 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3285192 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• scientific article; zbMATH DE number 3078474 (Why is no real title available?)
• Intuitionism. An introduction
• On the axiom of extensionality – Part I
• On the axiom of extensionality, Part II
• Persistent and invariant formulas relative to theories of higher order
• Predicative provability in set theory
• Properties preserved under homomorphism
• Systems of predicative analysis
• The formalization of mathematics

Cited in

(1)

• A characterization of clique graphs

This page was built for publication:

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