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 条

[41] INFINITARY PARTIAL PETRI NET LANGUAGES AND THEIR RELATIONSHIP TO OTHER PETRI NET SEMANTICS
KIEHN, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 227 - 248
[42] BETHS THEOREM AND CRAIGS THEOREM FOR FINITE QUANTIFIER INFINITARY LANGUAGES - PRELIMINARY REPORT
GREEN, J
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (06): : 968 - &
[43] LOMEGA1OMEGA IS ENOUGH - REDUCTION THEOREM FOR SOME INFINITARY LANGUAGES
REYES, GE
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 705 - 710
[44] Infinitary behaviours and infinitary observations
Darondeau, P.
Gamatie, B.
Fundamenta Informaticae, 1990, 13 (03):
[45] Recognizable Languages of k-Forcing Automata
Shamsizadeh, Marzieh
Zahedi, Mohammad Mehdi
Abolpour, Khadijeh
De la sen, Manuel
MATHEMATICAL AND COMPUTATIONAL APPLICATIONS, 2024, 29 (03)
[46] ON CONSTRUCTING INFINITARY LANGUAGES .1. ALPHA-BETA WITHOUT THE AXIOM OF CHOICE
DIENER, KH
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (04): : 357 - 376
[47] THEORY AND ENDOTHEORY OF GALOIS ABSTRACTED BY M KRASNER, FROM POINT OF VIEW OF LANGUAGES OF INFINITARY MODELS
JURIE, PF
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 378 - 379
[48] COINDUCTIVE FOUNDATIONS OF INFINITARY REWRITING AND INFINITARY EQUATIONAL LOGIC
Endrullis, Jorg
Hansen, Helle Hvid
Hendriks, Dimitri
Polonsky, Andrew
Silva, Alexandra
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[49] A Theory of Infinitary Relations Extending Zermelo’s Theory of Infinitary Propositions
R. Gregory Taylor
Studia Logica, 2016, 104 : 277 - 304
[50] A Theory of Infinitary Relations Extending Zermelo's Theory of Infinitary Propositions
Taylor, R. Gregory
STUDIA LOGICA, 2016, 104 (02) : 277 - 304

← 1 2 3 4 5 →