On the formalization of theories

DOI10.1007/s10817-012-9247-4zbMath1260.03092OpenAlexW1987266526MaRDI QIDQ1945904

Jan Mycielski

Publication date: 17 April 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-012-9247-4

zbMATH Keywords

urelement\(\mathrm{ZF}^{ + }\)axiom schema of replacement

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items (1)

Foundations of applied mathematics. I

Cites Work

• Set theory. An introduction to independence proofs
• Global and local choice functions
• Unnamed Item

This page was built for publication: On the formalization of theories