Explicit mathematics with monotone inductive definitions: A survey

被引：0

作者：

Rathjen, M ^{[1
]}

机构：

[1] Univ Leeds, Dept Pure Math, Leeds LS2 9JT, W Yorkshire, England

来源：

REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAYS IN HONOR OF SOLOMON FEFERMAN | 2002年 / 15卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

This paper provides a survey of results about the strength of Feferman's theory of explicit mathematics augmented by least fixed point principles for monotone inductive definitions. The paper gathers all the results that are known up till now and also proves a heretofore unpublished result concerning an upper bound for the strength of T-0 + MID.

引用

页码：329 / 346

页数：18

共 50 条

[1] Monotone inductive definitions in explicit mathematics
Rathjen, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 125 - 146
[2] DETERMINACY AND MONOTONE INDUCTIVE DEFINITIONS
Hachtman, Sherwood
[J]. ISRAEL JOURNAL OF MATHEMATICS, 2019, 230 (01) : 71 - 96
[3] Determinacy and monotone inductive definitions
Sherwood Hachtman
[J]. Israel Journal of Mathematics, 2019, 230 : 71 - 96
[4] On the intuitionistic strength of monotone inductive definitions
Tupailo, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) : 790 - 798
[5] MONOTONE INDUCTIVE DEFINITIONS OVER CONTINUUM
CENZER, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 188 - 198
[6] Realizability for Monotone and Clausular (Co)inductive Definitions
Miranda-Perea, Favio E.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 179 - 193
[7] MONOTONE INDUCTIVE DEFINITIONS IN A CONSTRUCTIVE THEORY OF FUNCTIONS AND CLASSES
TAKAHASHI, S
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1989, 42 (03) : 255 - 297
[8] Explicit mathematics with the monotone fixed point principle
Rathjen, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (02) : 509 - 542
[9] MONOTONE INDUCTIVE DEFINITIONS OVER THE CONTINUUM WHOSE RESOLVENTS ARE COUNTABLE
GRASSIN, J
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 287 (14): : 911 - 913
[10] A logic of non-monotone inductive definitions and its modularity properties
Denecker, M
Ternovska, E
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 47 - 60

← 1 2 3 4 5 →