Casanovas, Enrique Compactly expandable models and stability. (English) Zbl 0827.03021 J. Symb. Log. 60, No. 2, 673-683 (1995). Reviewer: C.Toffalori (Camerino) MSC: 03C50 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Millar, Terrence Model completions and omitting types. (English) Zbl 0831.03017 J. Symb. Log. 60, No. 2, 654-672 (1995). Reviewer: G.Fuhrken (Minneapolis) MSC: 03C15 03C07 03C35 06A06 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Dzierzgowski, Daniel Models of intuitionistic TT and NF. (English) Zbl 0826.03023 J. Symb. Log. 60, No. 2, 640-653 (1995). MSC: 03E70 03C90 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Baumgartner, James E. Ultrafilters on \(\omega\). (English) Zbl 0834.04005 J. Symb. Log. 60, No. 2, 624-639 (1995). Reviewer: P.Matet (Caen) MSC: 03E05 03E50 03E35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Venema, Yde Cylindric modal logic. (English) Zbl 0830.03008 J. Symb. Log. 60, No. 2, 591-623 (1995). Reviewer: L.Esakia (Tbilisi) MSC: 03B45 03G15 × Cite Format Result Cite Review PDF Full Text: DOI
Mares, Edwin D. A star-free semantics for \({\mathbf R}\). (English) Zbl 0833.03008 J. Symb. Log. 60, No. 2, 579-590 (1995). Reviewer: M.Urchs (Berlin) MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Panti, Giovanni A geometric proof of the completeness of the Łukasiewicz calculus. (English) Zbl 0837.03018 J. Symb. Log. 60, No. 2, 563-578 (1995). Reviewer: I.D’Ottaviano (Campinas) MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Leloup, G. Quantifier elimination in pairs of fields. (Élimination des quantificateurs dans des paires de corps.) (French) Zbl 0832.03023 J. Symb. Log. 60, No. 2, 548-562 (1995). Reviewer: Ch.Michaux (Mons) MSC: 03C60 03C10 12L12 × Cite Format Result Cite Review PDF Full Text: DOI
Witzany, Jiří Possible behaviours of the reflection ordering of stationary sets. (English) Zbl 0828.03023 J. Symb. Log. 60, No. 2, 534-547 (1995). Reviewer: M.Weese (Berlin) MSC: 03E35 03E55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pillay, Anand; Poizat, Bruno Fields and surgery. (Corps et chirurgie.) (French) Zbl 0827.03022 J. Symb. Log. 60, No. 2, 528-533 (1995). Reviewer: C.Toffalori (Camerino) MSC: 03C60 12L12 03C50 × Cite Format Result Cite Review PDF Full Text: DOI
Grohe, Martin Complete problems for fixed-point logics. (English) Zbl 0826.03014 J. Symb. Log. 60, No. 2, 517-527 (1995). Reviewer: J.Flum (Freiburg i.Br.) MSC: 03C13 68Q25 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Schmerl, James H. The isomorphism property for nonstandard universes. (English) Zbl 0833.03022 J. Symb. Log. 60, No. 2, 512-516 (1995). Reviewer: K.Čuda (Praha) MSC: 03H05 03C50 03E30 × Cite Format Result Cite Review PDF Full Text: DOI
Yang, Yue The thickness lemma from \(P^ -+ I\Sigma_ 1+ \neg B\Sigma_ 2\). (English) Zbl 0829.03038 J. Symb. Log. 60, No. 2, 505-511 (1995). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
de Jongh, Dick; Chagrova, L. A. The decidability of dependency in intuitionistic propositional logic. (English) Zbl 0836.03010 J. Symb. Log. 60, No. 2, 498-504 (1995). Reviewer: D.Skvortsov (Moskva) MSC: 03B20 03B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bélair, Luc Rings of \(p\)-adic functions. (Anneaux de fonctions \(p\)-adiques.) (French) Zbl 0868.03017 J. Symb. Log. 60, No. 2, 484-497 (1995). MSC: 03C60 13J07 13L05 12J10 × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Ming On the basic logic of stit with a single agent. (English) Zbl 0827.03003 J. Symb. Log. 60, No. 2, 459-483 (1995). Reviewer: J.Mackenzie (Sydney) MSC: 03A05 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Łabȩdzki, Grzegorz; Repický, Miroslav Hechler reals. (English) Zbl 0832.03025 J. Symb. Log. 60, No. 2, 444-458 (1995). Reviewer: E.Coplakova (Delft) MSC: 03E40 03E15 × Cite Format Result Cite Review PDF Full Text: DOI
Nyikos, Peter; Piątkiewicz, Leszek On the equivalence of certain consequences of the proper forcing axiom. (English) Zbl 0829.03030 J. Symb. Log. 60, No. 2, 431-443 (1995). Reviewer: T.Natkaniec (Bydgoszcz) MSC: 03E65 03E75 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bishop, Greg Ultrafilters generated by a closed set of functions. (English) Zbl 0830.04001 J. Symb. Log. 60, No. 2, 415-430 (1995). Reviewer: N.H.Williams (Brisbane) MSC: 03E05 03E35 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
McColm, Gregory L. The dimension of the negation of transitive closure. (English) Zbl 0826.03015 J. Symb. Log. 60, No. 2, 392-414 (1995). Reviewer: J.Flum (Freiburg i.Br.) MSC: 03C13 03B80 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Judah, Haim; Rosłanowski, Andrzej Martin’s axiom and the continuum. (English) Zbl 0828.03024 J. Symb. Log. 60, No. 2, 374-391 (1995). Reviewer: A.W.Miller (Madison) MSC: 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Herwig, Bernhard Weight \(\omega\) in stable theories with few types. (English) Zbl 0854.03028 J. Symb. Log. 60, No. 2, 353-373 (1995). Reviewer: C.Toffalori (Camerino) MSC: 03C45 × Cite Format Result Cite Review PDF Full Text: DOI