LOEWENHEIM-SKOLEM PROBLEM FOR FUNCTORSGUREVIC R.1982; ISR. J. MATH.; ISSN 0021-2172; ISR; DA. 1982; VOL. 42; NO 4; PP. 273-276; BIBL. 3 REF.Article

COUNTABLE APPROXIMATIONS AND LOEWENHEIM-SKOLEM THEOREMS.KUEKER DW.1977; ANN. MATH. LOGIC; NETHERL.; DA. 1977; VOL. 11; NO 1; PP. 57-103; BIBL. 32 REF.Article

CRAIG INTERPOLATION THEOREM AND HANF NUMBER FOR NU -VALUED INFINITORY PREDICATE CALCULIPRZYMUSINSKA H.1980; BULL. ACAD. POL. SCI., SCI. MATH.; POL; DA. 1980; VOL. 28; NO 5-6; PP. 207-211; ABS. RUS; BIBL. 6 REF.Article

Some remarks on equivalence in infinitary and stationary logicKAUFMANN, M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 383-389, issn 0029-4527Article

INDEPENDENT SETS OF AXIOMS IN L_KALPHACAICEDO X.1981; CAN. MATH. BULL.; ISSN 0008-4395; CAN; DA. 1981; VOL. 24; NO 2; PP. 219-223; BIBL. 4 REF.Article

INFINITARY LOGIC: IN MEMORIAN CAROL KARP.1975; LECTURE NOTES MATH.; GERM.; DA. 1975; NO 492; PP. 1-206; BIBL. DISSEM.; ISBN 3540074198Serial Issue

PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGICBACK RJR.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 3; PP. 233-249; BIBL. 21 REF.Article

Relative separation theorems for L_k+kTUURI, H.Notre Dame journal of formal logic. 1992, Vol 33, Num 3, pp 383-401, issn 0029-4527Article

A NOTE ON EQUIVALENCES AMONG LOGICS OF PROGRAMSMEYER AR; TIURYN J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 282-299; BIBL. 27 REF.Conference Paper

On L∞_κ-free Boolean algebrasFUCHINO, S; KOPPELBERG, S; TAKAHASHI, M et al.Annals of pure and applied logic. 1992, Vol 55, Num 3, pp 265-284, issn 0168-0072Article

Some applications of positive formulas in descriptive set theory and logicDYCK, S.Annals of pure and applied logic. 1990, Vol 46, Num 2, pp 95-146, issn 0168-0072Article

The theorems of Beth and craig in abstract model theory. III, Δ-logics and infinitary logicsSHELAH, S.Israel Journal of Mathematics. 1990, Vol 69, Num 2, pp 193-213, issn 0021-2172Article

The expressive power of finitely many generalized quantifiersANUJ DAWAR; HELLA, L.Information and computation (Print). 1995, Vol 123, Num 2, pp 172-184, issn 0890-5401Article

Iterative and fixed point common belief = La croyance commune itérative et la croyance commune à point fixeHEIFETZ, A.Journal of philosophical logic. 1999, Vol 28, Num 1, pp 61-79, issn 0022-3611Article

Infinitary logic and inductive definability over finite structuresDAWAR, A; LINDELL, S; WEINSTEIN, S et al.Information and computation (Print). 1995, Vol 119, Num 2, pp 160-175, issn 0890-5401Article

Infinitary logics and 0-1 lawsKOLAITIS, P. G.Information and computation (Print). 1992, Vol 98, Num 2, pp 258-294, issn 0890-5401Conference Paper