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 条

[31] COMBINATORIAL PROBLEM - STABILITY AND ORDER FOR MODELS AND THEORIES IN INFINITARY LANGUAGES
SHELAH, S
PACIFIC JOURNAL OF MATHEMATICS, 1972, 41 (01) : 247 - &
[32] INFINITARY TREE-LANGUAGES RECOGNIZED BY OMEGA-AUTOMATA
SAOUDI, A
INFORMATION PROCESSING LETTERS, 1984, 18 (01) : 15 - 19
[33] SIGMA-1-COMPACTNESS IN INFINITARY LANGUAGES WITH INFINITE QUANTIFICATION
CUTLAND, N
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 446 - 447
[34] Classifying recognizable infinitary trace languages using word automata
Chaturvedi, Namit
Gelderie, Marcus
INFORMATION AND COMPUTATION, 2017, 256 : 23 - 34
[35] Classifying Recognizable Infinitary Trace Languages Using Word Automata
Chaturvedi, Namit
Gelderie, Marcus
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 171 - 182
[36] Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Grathwohl, Niels Bjorn Bugge
Henglein, Fritz
Kozen, Dexter
FUNDAMENTA INFORMATICAE, 2017, 150 (3-4) : 241 - 257
[37] SIMPLE PROOFS FOR UNIQUE REDUCIBILITY OF EXPRESSIONS OF FINITARY AND INFINITARY LANGUAGES
DIENER, KH
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (03): : 211 - 234
[38] Infinitary Axiomatization of the Equational Theory of Context-Free Languages
Grathwohl, Niels Bjorn Bugge
Henglein, Fritz
Kozen, Dexter
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 44 - 55
[39] STRUCTURES ELEMENTARILY EQUIVALENT TO MODELS OF HIGHER POWER RELATIVE TO INFINITARY LANGUAGES
MAKKAI, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 322 - &
[40] STRUCTURES ELEMENTARILY EQUIVALENT RELATIVE TO INFINITARY LANGUAGES TO MODELS OF HIGHER POWER
MAKKAI, M
ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1970, 21 (3-4): : 283 - &

← 1 2 3 4 5 →