HERBRAND UNIFORMITY THEOREMS FOR INFINITARY LANGUAGES

被引：0

|

作者：

NEBRES, BF

机构：

来源：

JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN | 1972年 / 24卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1 / +

相关论文

共 50 条

[11] UNIVERSAL CLASSES IN INFINITARY LANGUAGES
MALITZ, J
DUKE MATHEMATICAL JOURNAL, 1969, 36 (03) : 621 - &
[12] CONCRETE CATEGORIES AND INFINITARY LANGUAGES
ROSICKY, J
JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 22 (03) : 309 - 339
[13] PARTIAL ISOMORPHISMS AND INFINITARY LANGUAGES
CALAIS, JP
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (05): : 435 - 456
[14] On ordinals accessible by infinitary languages
Shelah, Saharon
Vaisanen, Pauli
Vaananen, Jouko
FUNDAMENTA MATHEMATICAE, 2005, 186 (03) : 193 - 214
[15] BOOLEAN ALGEBRAS AND INFINITARY LANGUAGES
RESSAYRE, JP
LASSAIGN.R
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 383 - 383
[16] Herbrand theorems and Skolemization for Prenex fuzzy logics
Baaz, Matthias
Metcalfe, George
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 22 - +
[17] INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
Badia, Guillermo
REVIEW OF SYMBOLIC LOGIC, 2017, 10 (04): : 663 - 681
[18] ON INFINITARY LANGUAGES WITH NONHOMOGENEOUS STRINGS OF QUANIFIERS
SHELAH, S
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (07): : 1086 - &
[19] WEAK COMPLETENESS OF LARGE INFINITARY LANGUAGES
HEIDEMA, J
LABUSCHAGNE, WA
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 436 - 436
[20] UNIFORM INDUCTIVE DEFINABILITY AND INFINITARY LANGUAGES
NYBERG, AM
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 109 - 120

← 1 2 3 4 5 →