The universal set and diagonalization in frege structures

Reinhard Kahle

doi:10.1017/S1755020310000407

The universal set and diagonalization in frege structures

Research output: Contribution to journal › Article

Abstract

In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.

Original language	Unknown
Pages (from-to)	205-218
Journal	Review Of Symbolic Logic
Volume	4
Issue number	2
DOIs	https://doi.org/10.1017/S1755020310000407
Publication status	Published - 1 Jan 2011

Access to Document

10.1017/S1755020310000407

Cite this

@article{3df9f8642cd04e808d85918cee2c6ea5,

title = "The universal set and diagonalization in frege structures",

abstract = "In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.",

keywords = "NONCONSTRUCTIVE MU-OPERATOR, SYSTEMS, EXPLICIT MATHEMATICS",

author = "Reinhard Kahle",

year = "2011",

month = jan,

day = "1",

doi = "10.1017/S1755020310000407",

language = "Unknown",

volume = "4",

pages = "205--218",

journal = "Review Of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge Univ Press",

number = "2",

}

TY - JOUR

T1 - The universal set and diagonalization in frege structures

AU - Kahle, Reinhard

PY - 2011/1/1

Y1 - 2011/1/1

N2 - In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.

AB - In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.

KW - NONCONSTRUCTIVE MU-OPERATOR

KW - SYSTEMS

KW - EXPLICIT MATHEMATICS

U2 - 10.1017/S1755020310000407

DO - 10.1017/S1755020310000407

M3 - Article

VL - 4

SP - 205

EP - 218

JO - Review Of Symbolic Logic

JF - Review Of Symbolic Logic

SN - 1755-0203

IS - 2

ER -