Extending constructive operational set theory by impredicative principles

被引：4

作者：

Cantini, Andrea ^{[1
]}

机构：

[1] Univ Florence, Dipartimento Filosofia, I-50139 Florence, Italy

来源：

MATHEMATICAL LOGIC QUARTERLY | 2011年 / 57卷 / 03期

关键词：

Set; operation; partial combinatory logic; uniform comprehension; mu-operator; unbounded set quantifier; INDUCTIVE DEFINITIONS; STRENGTH;

D O I：

10.1002/malq.201010009

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study constructive set theories, which deal with (partial) operations applying both to sets and operations themselves. Our starting point is a fully explicit, finitely axiomatized system ESTE of constructive sets and operations, which was shown in [10] to be as strong as PA. In this paper we consider extensions with operations, which internally represent description operators, unbounded set quantifiers and local fixed point operators. We investigate the proof theoretic strength of the resulting systems, which turn out to be (except for the description operator) impredicative (being comparable with full second-order arithmetic and the second-order mu-calculus over arithmetic). (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

引用

页码：299 / 322

页数：24

共 50 条

[41] Functional interpretations of constructive set theory in all finite types
Diller, Justus
[J]. DIALECTICA, 2008, 62 (02) : 149 - 177
[42] Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory
Masanao Ozawa
[J]. New Generation Computing, 2016, 34 : 125 - 152
[43] Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory
Ozawa, Masanao
[J]. NEW GENERATION COMPUTING, 2016, 34 (1-2) : 125 - 152
[44] CONSTRUCTIVE SET-THEORY WITH TYPES, CONSISTENCY WITH THE CHURCH THESIS
KASHAPOVA, FR
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (04): : 72 - 75
[45] The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
Konovalov A.Y.
[J]. Moscow University Mathematics Bulletin, 2017, 72 (3) : 129 - 132
[46] The generalised type-theoretic interpretation of constructive set theory
Gambino, N
Aczel, P
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 67 - 103
[47] Full operational set theory with unbounded existential quantification and power set
Jaeger, Gerhard
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2009, 160 (01) : 33 - 52
[48] Sustainable development: From concept and theory to operational principles
Daly, Herman E.
[J]. POPULATION AND DEVELOPMENT REVIEW, 1990, 16 : 25 - 43
[49] Some comments on the principles of the set theory.
Borel, E
[J]. MATHEMATISCHE ANNALEN, 1905, 60 : 194 - 195
[50] The four principles of adaptation and their set theory foundation
Hulburt, EA
[J]. ECOLOGICAL MODELLING, 2004, 180 (2-3) : 253 - 276

← 1 2 3 4 5 →