Generalized sketches as a framework for completeness theorems .3.

被引：9

作者：

Makkai, M

机构：

来源：

JOURNAL OF PURE AND APPLIED ALGEBRA | 1997年 / 115卷 / 03期

关键词：

D O I：

10.1016/S0022-4049(96)00009-6

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：241 / 274

页数：34

共 50 条

[31] ON GENERALIZED INTEGRALS .3.
NAKANISHI, S
PROCEEDINGS OF THE JAPAN ACADEMY, 1968, 44 (09): : 904 - +
[32] SOME THEOREMS ON PERTURBATION THEORY .3.
TITCHMARSH, EC
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL AND PHYSICAL SCIENCES, 1951, 207 (1090): : 321 - 328
[33] THEOREMS OF ORLICZ - PETTIS TYPE .3.
LABUDA, I
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1973, 21 (07): : 599 - 605
[34] SUZUKI-TYPE FIXED POINT THEOREMS FOR GENERALIZED CONTRACTIVE MAPPINGS THAT CHARACTERIZE METRIC COMPLETENESS
Abtahi, M.
BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2015, 41 (04): : 931 - 943
[35] COMBINED APPLICATIONS OF INCOMPLETENESS AND COMPLETENESS THEOREMS
MCALOON, K
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (13): : 849 - 852
[36] Completeness theorems for reactive modal logics
Gabbay, Dov
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 81 - 129
[37] Completeness theorems for systems of differential equations
Malamud, MM
Oridoroga, LL
FUNCTIONAL ANALYSIS AND ITS APPLICATIONS, 2000, 34 (04) : 308 - 310
[38] BOUNDED CONSISTENCY AND SEQUENTIAL COMPLETENESS THEOREMS
SNYDER, AK
WILANSKY, A
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (05): : A566 - A566
[39] Completeness and Herbrand theorems for nominal logic
Cheney, J
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 299 - 320
[40] SEMANTICAL COMPLETENESS THEOREMS IN LOGIC AND ALGEBRA
LIFSCHITZ, V
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 79 (01) : 89 - 96

← 1 2 3 4 5 →