THE LACK OF DEFINABLE WITNESSES AND PROVABLY RECURSIVE FUNCTIONS IN INTUITIONISTIC SET THEORIES

被引：29

作者：

FRIEDMAN, HM ^{[1
]}

SCEDROV, A ^{[1
]}

机构：

[1] UNIV PENN,DEPT MATH,PHILADELPHIA,PA 19104

来源：

ADVANCES IN MATHEMATICS | 1985年 / 57卷 / 01期

关键词：

D O I：

10.1016/0001-8708(85)90103-3

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1 / 13

页数：13

共 50 条

[1] THE LACK OF DEFINABLE WITNESSES AND PROVABLY RECURSIVE FUNCTIONS IN INTUITIONISTIC SET THEORIES
FRIEDMAN, H
SCEDROV, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1095 - 1095
[2] Provably recursive functions of constructive and relatively constructive theories
Moniri, Morteza
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (03): : 291 - 300
[3] Provably recursive functions of constructive and relatively constructive theories
Morteza Moniri
[J]. Archive for Mathematical Logic, 2010, 49 : 291 - 300
[4] Provably total primitive recursive functions:: Theories with induction
Cordón-Franco, A
Fernández-Margarit, A
Lara-Martín, FF
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 355 - 369
[5] ON PROVABLY RECURSIVE FUNCTIONS AND ORDINAL RECURSIVE FUNCTIONS
KINO, A
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1968, 20 (03) : 456 - +
[6] RECURSIVE PROGRESSION OF INTUITIONISTIC NUMBER THEORIES
KURATA, R
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1965, 17 (02) : 140 - +
[7] SYNTACTIC TRANSLATIONS AND PROVABLY RECURSIVE FUNCTIONS
LEIVANT, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (03) : 682 - 688
[8] PROVABLY TOTAL FUNCTIONS OF INTUITIONISTIC BOUNDED ARITHMETIC
HARNIK, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (02) : 466 - 477
[9] ALGEBRAIC THEORIES WITH DEFINABLE SKOLEM FUNCTIONS
VANDENDRIES, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 625 - 629
[10] PROVABLY RECURSIVE FUNCTIONS IN FRAGMENTS OF PEANO ARITHMETIC
ONO, H
KADOTA, N
[J]. JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (04) : 721 - 737

← 1 2 3 4 5 →