scientific article
From MaRDI portal
Publication:3852174
zbMath0419.03031MaRDI QIDQ3852174
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencytransitive closureaxiom of foundationextensionality axiomcombinatory logicsuniversality axiomextensional relationZermelo-Fraenkel set theory with the axiom of choice but without the axiom of regularity
Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
