A nontrivial model of Weydert's \(SF_3\) minus the Leibniz rules

zbMath0915.03045MaRDI QIDQ1280203

Giacomo Lenzi

Publication date: 15 March 1999

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

zbMATH Keywords

combinatory logicpositive set theoryStrong Frege 3

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A nontrivial model of Weydert's \(SF_3\) minus the Leibniz rules