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 条

[41] Type theories, toposes and constructive set theory: predicative aspects of AST
Moerdijk, I
Palmgren, E
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2002, 114 (1-3) : 155 - 201
[42] SOME RUDIMENTARY DUOPOLITY THEORY
WILDASIN, DE
[J]. REGIONAL SCIENCE AND URBAN ECONOMICS, 1991, 21 (03) : 393 - 421
[43] RUDIMENTARY GEOMETRIC PARTICLE THEORY
LOOS, HG
[J]. ANNALS OF PHYSICS, 1966, 36 (03) : 486 - +
[44] Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory
Wolfgang Burr
[J]. Synthese, 2002, 133 : 257 - 274
[45] Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
Burr, W
[J]. SYNTHESE, 2002, 133 (1-2) : 257 - 274
[46] Arithmetical categories and commutator theory
Pedicchio, MC
[J]. APPLIED CATEGORICAL STRUCTURES, 1996, 4 (2-3) : 297 - 305
[47] ARITHMETICAL THEORY OF MONOID HOMOMORPHISMS
GEROLDINGER, A
HALTERKOCH, F
[J]. SEMIGROUP FORUM, 1994, 48 (03) : 333 - 362
[48] ARITHMETICAL THEORY OF ANOSOV DIFFEOMORPHISMS
VIVALDI, F
[J]. PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL AND PHYSICAL SCIENCES, 1987, 413 (1844) : 97 - 107
[49] Theory of reduction for arithmetical equivalence
Weyl, Hermann
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1940, 48 (1-3) : 126 - 164
[50] An arithmetical theory of the Bernoulli numbers
Vandiver, H. S.
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1942, 51 (1-3) : 502 - 531

← 1 2 3 4 5 →