FINITE ARITHMETIC WITH INFINITE DESCENT

被引：5

|

作者：

GAUTHIER, Y

机构：

来源：

DIALECTICA | 1989年 / 43卷 / 04期

关键词：

D O I：

10.1111/j.1746-8361.1989.tb00949.x

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：329 / 337

页数：9

相关论文

共 50 条

[41] Non-Abelian descent and the arithmetic of enriques surfaces
Harari, D
Skorobogatov, A
INTERNATIONAL MATHEMATICS RESEARCH NOTICES, 2005, 2005 (52) : 3203 - 3228
[42] Complete sequent calculi for induction and infinite descent
Brotherston, James
Simpson, Alex
22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 51 - +
[43] The infinite descent, tranfinite induction and the excluded level
Gauthier, Yvon
DIALOGUE-CANADIAN PHILOSOPHICAL REVIEW, 2009, 48 (01) : 1 - 17
[44] The Complex(ity) Landscape of Checking Infinite Descent
Cohen, Liron
Jabarin, Adham
Popescu, Andrei
Rowe, Reuben N. S.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
[45] PLANAR DESCENT BY A FINITE HOMOMORPHISM
FERRAND, D
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 269 (20): : 946 - &
[46] OPERATORS WITH FINITE ASCENT AND DESCENT
CARADUS, SR
PACIFIC JOURNAL OF MATHEMATICS, 1966, 18 (03) : 437 - &
[47] On fixpoint arithmetic and infinite time turing machines
Lenzi, G
Monteleone, E
INFORMATION PROCESSING LETTERS, 2004, 91 (03) : 121 - 128
[48] Arithmetic on infinite extensions of function fields.
Corvaja, P
Zannier, U
BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1997, 11B (04): : 1021 - 1038
[49] ARITHMETIC PROPERTIES OF INFINITE PRODUCTS OF CYCLOTOMIC POLYNOMIALS
Bundschuh, Peter
Vaananen, Keijo
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2016, 93 (03) : 375 - 387
[50] Some infinite series involving arithmetic functions
Muthumalai, Ramesh Kumar
NOTES ON NUMBER THEORY AND DISCRETE MATHEMATICS, 2015, 21 (02) : 8 - 14

← 1 2 3 4 5 →