Rudimentary and arithmetical constructive set theory

被引：2

作者：

Aczel, Peter ^{[1
,2
]}

机构：

[1] Univ Manchester, Sch Math, Manchester M13 9PL, Lancs, England

[2] Univ Manchester, Sch Comp Sci, Manchester M13 9PL, Lancs, England

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2013年 / 164卷 / 04期

关键词：

Constructive set theory; Rudimentary functions; Arithmetic;

D O I：

10.1016/j.apal.2012.10.004

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

The aim of this paper is to formulate and study two weak axiom systems for the conceptual framework of constructive set theory (CST). Arithmetical CST is just strong enough to represent the class of von Neumann natural numbers and its arithmetic so as to interpret Heyting Arithmetic. Rudimentary CST is a very weak subsystem that is just strong enough to represent a constructive version of Jensen's rudimentary set theoretic functions and their theory. The paper is a contribution to the study of formal systems for CST that capture significant stages in the development of constructive mathematics in CST. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：396 / 415

页数：20

共 50 条

[21] On the Compatibility Between the Minimalist Foundation and Constructive Set Theory
Maschio, Samuele
Sabelli, Pietro
[J]. REVOLUTIONS AND REVELATIONS IN COMPUTABILITY, CIE 2022, 2022, 13359 : 172 - 185
[22] On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory
Yatabe, Shunsuke
[J]. LOGIC JOURNAL OF THE IGPL, 2014, 22 (03) : 482 - 493
[23] SYSTEMS OF RAMIFIED SET THEORY USING CONSTRUCTIVE ORDINALS
ROYSE, JR
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (06): : 952 - &
[24] Heyting-valued interpretations for constructive set theory
Gambino, N
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 137 (1-3) : 164 - 188
[25] COMBINATOR REALIZABILITY OF A CONSTRUCTIVE MORSE SET-THEORY
STAPLES, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 226 - 234
[26] Generalizing realizability and Heyting models for constructive set theory
Ziegler, Albert
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 175 - 184
[27] Functional interpretation of Aczel's constructive set theory
Burr, W
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2000, 104 (1-3) : 31 - 73
[28] A CONSTRUCTIVE CONSISTENCY PROOF OF A FRAGMENT OF SET-THEORY
PEARCE, J
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1984, 27 (01) : 25 - 62
[29] Extending constructive operational set theory by impredicative principles
Cantini, Andrea
[J]. MATHEMATICAL LOGIC QUARTERLY, 2011, 57 (03) : 299 - 322
[30] ARE ARITHMETICAL TRUTHS ANALYTIC - NEW RESULTS IN FREE SET-THEORY
BENCIVENGA, E
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1977, 6 (03) : 319 - 330

← 1 2 3 4 5 →