A type-free system extending (ZFC)

DOI10.1016/0168-0072(89)90026-2zbMath0675.03004OpenAlexW2020976554MaRDI QIDQ1121865

John Myhill, Bob Flagg

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)90026-2

zbMATH Keywords

strongly inaccessibleComprehension Ruleextension of Aczel's type-free theory of Frege structuresinterpretation of ZFCtype-free \(\lambda \) -calculus

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Combinatory logic and lambda calculus (03B40)

Related Items (6)

A synthetic axiomatization of map theory ⋮ Positive Frege and its Scott‐style semantics ⋮ Bibliography of John Myhill ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ Dedekind completion as a method for constructing new Scott domains ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

Cites Work

• Implication and analysis in classical Frege structures
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• The lambda calculus, its syntax and semantics
• Toward useful type-free theories. I
• An extension of basic logic
• A basic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A type-free system extending (ZFC)