Set Theory and Nominalization, Part I

DOI10.1093/LOGCOM/2.5.579MaRDI QIDQ5285989zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine

Publication date 29 June 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.5.579

zbMATH Keywords

nominalizationScott domainsFrege structureslogic 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 II
• Nominalization and Scott's domains. II
• Three theories of nominalized predicates
• Nominalization, predication and type containment

Cited in

(9)

• Nominalization and Scott's domains. II
• Three theories of nominalized predicates
• Set Theory and Nominalization, Part II
• Basics of intensionalized data: presets, sets, and nominats
• An algebraic generalization of Frege structures -- binding algebras
• Nominal Domain Theory for Concurrency
• A unified approach to type theory through a refined \(\lambda\)-calculus
• scientific article; zbMATH DE number 44341 (Why is no real title available?)
• A type free theory and collective/distributive predication

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

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