New successes in dealing with set theories by means of state-of-the-art theorem-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map calculus. In this paper we carry out this task in detail, setting the ground for a number of experiments.
An Equational Re-Engineering of Set Theories
FORMISANO, Andrea;
2000
Abstract
New successes in dealing with set theories by means of state-of-the-art theorem-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map calculus. In this paper we carry out this task in detail, setting the ground for a number of experiments.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.