scientific article; zbMATH DE number 4081552

MaRDI QIDQ3812243zbMATH OpenFDO

Authors Robert C. Flagg, John Myhill

Publication date 1987

zbMATH Keywords

comprehension ruleextension of classical second-order arithmeticFrege structureprinciple of choiceScott's lattice-theoretic models of lambda calculusself-referential system extending ZF and provably consistent

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• A type-free system extending (ZFC)
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• Some generalizations to two systems of set theory based on combinatory logic
• Well- and non-well-founded Fregean extensions
• Extending the first-order theory of combinators with self-referential truth

Cited in

(10)

• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• A type-free system extending (ZFC)
• Bibliography of John Myhill
• An algebraic generalization of Frege structures -- binding algebras
• Universes over Frege structures
• On the consistency of self-referential systems
• Self-reference with negative types
• A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE
• A -denotational semantics for map theory in ZFC+SI
• Additional structures in Smith theory

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 Q3812243)