FORCING FOR INFINITARY LANGUAGES

被引：6

作者：

WOOD, C ^{[1
]}

机构：

[1] YALE UNIV,NEW HAVEN,CT 06511

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1972年 / 18卷 / 05期

关键词：

D O I：

10.1002/malq.19720182502

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：385 / 402

页数：18

共 50 条

[21] HERBRAND UNIFORMITY THEOREMS FOR INFINITARY LANGUAGES
NEBRES, BF
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1972, 24 (01) : 1 - +
[22] INFINITARY LANGUAGES OF PETRI NETS AND LOGICAL SENTENCES
PELZ, E
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 224 - 237
[23] Koepke Machines and Satisfiability for Infinitary Propositional Languages
Carl, Merlin
Loewe, Benedikt
Rin, Benjamin G.
UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017, 2017, 10307 : 187 - 197
[24] The geometric properties of an infinitary line and plane languages
Arulraj, Anitta
Thamburaj, Robinson
Samuel, Huldah
JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2019, 22 (05): : 809 - 823
[25] WEAK DEFINABILITY FOR INFINITARY LANGUAGES - PRELIMINARY REPORT
SHELAH, S
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 834 - &
[26] INFINITARY LANGUAGES - BASIC THEORY AND APPLICATIONS TO CONCURRENT SYSTEMS
HOOGEBOOM, HJ
ROZENBERG, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 266 - 342
[27] Toward a Structure Theory of Regular Infinitary Trace Languages
Chaturvedi, Namit
AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 134 - 145
[28] Multi-View Consistency for Infinitary Regular Languages
Pittou, Maria
Tripakis, Stavros
PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION (SAMOS), 2016, : 148 - 155
[29] LOWENHEIM-SKOLEM AND INTERPOLATION THEOREMS IN INFINITARY LANGUAGES
KUEKER, DW
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 78 (02) : 211 - &
[30] BETH DEFINABILITY FOR INFINITARY FINITE-QUANTIFIER LANGUAGES
GREGORY, J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A329 - A329

← 1 2 3 4 5 →