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

application of Scott domains to nominalizationFrege structureslogic and type freenesspredicationtype theory

Mathematics Subject Classification ID

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

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

(8)

• Nominalization and Scott's domains. II
• An algebraic generalization of Frege structures -- binding algebras
• Nominalization, predication and type containment
• A unified approach to type theory through a refined -calculus
• A type free theory and collective/distributive predication
• Nominal Domain Theory for Concurrency
• scientific article; zbMATH DE number 569747 (Why is no real title available?)
• Set Theory and Nominalization, Part I

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)