Mengentheoretische Modelle desλK-Kalküls

DOI10.1007/BF02011139zbMath0428.03045OpenAlexW2318924650MaRDI QIDQ3864510

Michael von Rimscha

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137961

zbMATH Keywords

lambda-calculusnon-founded set theorystrong extensionality

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Combinatory logic and lambda calculus (03B40) Set-theoretic model theory (03C55)

Related Items (2)

Universality and strong extensionality ⋮ Weak foundation and axioms of universality

Cites Work

• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• Graphes Extensionnels et Axiome D'universalité
• Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren

This page was built for publication: Mengentheoretische Modelle desλK-Kalküls