Set Theory and Nominalization, Part II

DOI10.1093/LOGCOM/2.6.687MaRDI QIDQ5286912zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine

Publication date 23 August 1993

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/2.6.687

zbMATH Keywords

type theorypredicationFrege structuresapplication of Scott domains to nominalizationlogic and type freeness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Semantics in the theory of computing (68Q55) Set theory (03E99)

Recommendations

• Set Theory and Nominalization, Part I
• Theory of named sets
• scientific article; zbMATH DE number 4033725
• scientific article; zbMATH DE number 647604
• Some Second Order Set Theory
• scientific article; zbMATH DE number 4014698
• scientific article; zbMATH DE number 3226238
• scientific article; zbMATH DE number 2097953
• scientific article; zbMATH DE number 2078136

Cited in

(5)

• Nominalization and Scott's domains. II
• An algebraic generalization of Frege structures -- binding algebras
• Nominal Domain Theory for Concurrency
• A unified approach to type theory through a refined \(\lambda\)-calculus
• A type free theory and collective/distributive predication

This page was built for publication: Set Theory and Nominalization, Part II

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