A type-free system extending (ZFC)

DOI10.1016/0168-0072(89)90026-2zbMATH Open0675.03004OpenAlexW2020976554MaRDI QIDQ1121865FDOQ1121865

Authors: Bob Flagg, John Myhill 

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

Recommendations

• scientific article; zbMATH DE number 4081552
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• Some generalizations to two systems of set theory based on combinatory logic
• Toward useful type-free theories. I
• scientific article; zbMATH DE number 3878895

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• The structure of the ordinals and the interpretation of ZF in double extension set theory
• Positive Frege and its Scott‐style semantics
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• A \(\kappa\)-denotational semantics for map theory in ZFC+SI
• A synthetic axiomatization of map theory
• Some generalizations to two systems of set theory based on combinatory logic
• Title not available (Why is that?)
• Dedekind completion as a method for constructing new Scott domains
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• Bibliography of John Myhill
• Toward useful type-free theories. I
• A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

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

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