Ryan-Smith, C. (2025) Stratified Formulas Are Not Context-Free. Notre Dame Journal of Formal Logic, 66 (3). pp. 301-311. ISSN: 0029-4527
Abstract
Stratified formulas were introduced by Quine as an alternative way to attack Russell’s paradox. Instead of limiting comprehension by size (as in ZF set theory, using its axiom scheme of separation), unlimited comprehension is given to formulas that are in some sense descended from formulas of typed set theory. By keeping variables in a stratified structure, the most common candidates for inconsistency such as { x|x ∉ x } are eliminated. Under the usual syntax of set theory, the set of stratified formulas form a formal language. We show that, unlike the full class of well-formed formulas of set theory, this language is not context-free, and extend the result to its complement. Therefore, much like the axioms of PA and ZF (under their usual axiomatizations), the theory NF (New Foundations) as a formal language is not context-free. We then introduce a nonstandard syntax of set theory and show that with this syntax there is a restricted class of formulas, the exo-stratified formulas, that is context-free and full (up to relabeling of variables).
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2025 University of Notre Dame. This is an author produced version of an article published in Notre Dame Journal of Formal Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | context-free language, New foundations, stratified formula |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Date Deposited: | 13 Mar 2025 10:38 |
Last Modified: | 03 Oct 2025 09:39 |
Status: | Published |
Publisher: | Duke University Press |
Identification Number: | 10.1215/00294527-2024-0040 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:224343 |