A basic theory with predicates

zbMath1005.03501MaRDI QIDQ700066

Giacomo Lenzi, Vincenzo Maria Tortorelli

Publication date: 2002

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

Full work available at URL: https://projecteuclid.org/euclid.bbms/1102715142

zbMATH Keywords

foundational theoryfragment of Zermelo-Fraenkel set theoryrelative consistency

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: A basic theory with predicates