Set Theory and Nominalization, Part I

DOI10.1093/logcom/2.5.579zbMath0781.03002OpenAlexW2111925554MaRDI QIDQ5285989

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

Frege structuresnominalizationScott domainslogic 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)

Related Items (3)

A unified approach to type theory through a refined \(\lambda\)-calculus ⋮ A type free theory and collective/distributive predication ⋮ An algebraic generalization of Frege structures -- binding algebras

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