Logo del repository
  1. Home
 
Opzioni

The axiom of elementary sets on the edge of Peircean expressibility

FORMISANO A
•
OMODEO, EUGENIO
•
POLICRITI A.
2005
  • journal article

Periodico
THE JOURNAL OF SYMBOLIC LOGIC
Abstract
Being able to state the principles which lie deepest in the foundations of mathematics bysentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987. The main achievement of this paper is the proof that the 'kernel' set theory whose postulates areextensionality, (E), and single-element adjunction and removal, (W) and (L), cannot be axiomatized by means of three-variable sentences. This highlights a sharp edge to be crossed in order to attain an 'algebraization' of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N), is in its entirety expressible in three variables.
DOI
10.2178/jsl/1122038922
Archivio
http://hdl.handle.net/11368/1696337
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-24644442784
http://projecteuclid.org/euclid.jsl/1122038922
Diritti
metadata only access
Soggetti
  • Weak set theorie

  • n-variable expressibi...

  • pebble games

Web of Science© citazioni
2
Data di acquisizione
Mar 21, 2024
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback