Implicative models of set theory

DOI10.46298/ENTICS.12426arXiv2310.10576MaRDI QIDQ6513680FDOQ6513680

Alexandre Miquel, Samuele Maschio

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Models of arithmetic and set theory (03C62)

This page was built for publication: Implicative models of set theory

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