On the formalization of theories
type: Item
instance of: scholarly article
title: On the formalization of theories
zbMATH Open document ID: 1260.03092
author: Jan Mycielski
published in: Journal of Automated Reasoning
publication date: 2013-04-17T00:00:00Z
Mathematics Subject Classification ID: 03E30
zbMATH DE Number: 6154929
zbMATH Keywords: \(\mathrm{ZF}^{ + }\)
zbMATH Keywords: urelement
zbMATH Keywords: axiom schema of replacement
MaRDI profile type: Publication
full work available at URL: s10817-012-9247-4
OpenAlex ID: W1987266526
cites work: Q5573370
cites work: Global and local choice functions
cites work: Set theory. An introduction to independence proofs
DOI: 10.1007/S10817-012-9247-4
description: scientific article; zbMATH DE number 6154929