MONOTONE INDUCTIVE DEFINITIONS OVER CONTINUUM

被引：7

|

作者：

CENZER, D ^{[1
]}

机构：

[1] UNIV FLORIDA,GAINESVILLE,FL 32601

来源：

JOURNAL OF SYMBOLIC LOGIC | 1976年 / 41卷 / 01期

关键词：

D O I：

10.2307/2272958

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：188 / 198

页数：11

相关论文

共 50 条

[1] 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
[2] Determinacy and monotone inductive definitions
Sherwood Hachtman
[J]. Israel Journal of Mathematics, 2019, 230 : 71 - 96
[3] DETERMINACY AND MONOTONE INDUCTIVE DEFINITIONS
Hachtman, Sherwood
[J]. ISRAEL JOURNAL OF MATHEMATICS, 2019, 230 (01) : 71 - 96
[4] DELTA-11-GOOD INDUCTIVE DEFINITIONS OVER THE CONTINUUM
GRASSIN, J
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (01): : 11 - 16
[5] On the intuitionistic strength of monotone inductive definitions
Tupailo, S
[J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (03) : 790 - 798
[6] Monotone inductive definitions in explicit mathematics
Rathjen, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 125 - 146
[7] Explicit mathematics with monotone inductive definitions: A survey
Rathjen, M
[J]. REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAYS IN HONOR OF SOLOMON FEFERMAN, 2002, 15 : 329 - 346
[8] Realizability for Monotone and Clausular (Co)inductive Definitions
Miranda-Perea, Favio E.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 179 - 193
[9] 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
[10] Inductive definitions over a predicative arithmetic
Wainer, SS
Williams, RS
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2005, 136 (1-2) : 175 - 188

← 1 2 3 4 5 →