The undecidability of grisin's set theory

Studia Logica 74 (3):345 - 368 (2003)
  Copy   BIBTEX

Abstract

We investigate a contractionless naive set theory, due to Grisin [11]. We prove that the theory is undecidable.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1025159016268

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,248

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Another Paradox In Naive Set-Theory.Loïc Colson - 2007 - Studia Logica 85 (1):33-39.
Extensionality and Restriction in Naive Set Theory.Zach Weber - 2010 - Studia Logica 94 (1):87-104.
A finite approximation to models of set theory.Paul Weingartner - 1975 - Studia Logica 34 (1):45 - 58.
Light affine set theory: A naive set theory of polynomial time.Kazushige Terui - 2004 - Studia Logica 77 (1):9 - 40.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Mathematical Structures Within Simple Type Theory.Samuel González-Castillo - forthcoming - Studia Logica:1-30.
A very strong set theory?Andrzej Kisielewicz - 1998 - Studia Logica 61 (2):171-178.
First Order Theories for Partial Models.Bożena Staruch & Bogdan Staruch - 2005 - Studia Logica 80 (1):105-120.
Symmetry as a Criterion for Comprehension Motivating Quine’s ‘New Foundations’.M. Randall Holmes - 2008 - Studia Logica 88 (2):195-213.
Modal Deduction in Second-Order Logic and Set Theory: II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387 - 420.

Analytics

Added to PP
2009-01-28

Downloads
85 (#272,498)

6 months
3 (#1,291,427)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
Systems for Non-Reflexive Consequence.Carlo Nicolai & Lorenzo Rossi - 2023 - Studia Logica 111 (6):947-977.

View all 22 citations / Add more citations

References found in this work

No references found.

Add more references