SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS

  • Thomas Forster
  • , M. Randall Holmes

Research output: Contribution to journalArticlepeer-review

Abstract

There are a variety of (alternative) axiomatic set theories available to mathematicians. It is worth asking how alternative they really are. Might they be no more than rephrasings of the theory (ZFC) that we already have? Here we give an account of the status of the Quine systems in this regard. Some are merely ZF in wolves' clothing; some are genuine wolves.

Original languageEnglish
Pages (from-to)1779-1795
Number of pages17
JournalJournal of Symbolic Logic
Volume90
Issue number4
DOIs
StatePublished - 1 Dec 2025

Keywords

  • Quine's NF
  • stratification
  • synonymy

Fingerprint

Dive into the research topics of 'SYNONYMY QUESTIONS CONCERNING THE QUINE SYSTEMS'. Together they form a unique fingerprint.

Cite this