Set Theory and Nominalization, Part II

DOI10.1093/LOGCOM/2.6.687zbMATH Open0803.03004OpenAlexW4248085491MaRDI QIDQ5286912FDOQ5286912

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

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
• Publication:3026993
• scientific article; zbMATH DE number 3226238
• scientific article; zbMATH DE number 2097953
• scientific article; zbMATH DE number 2078136

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)

Cited In (5)

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

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)