Calvert, Wesley; Franklin, Johanna N. Y.; Turetsky, Dan Structural highness notions. (English) Zbl 1537.03039 J. Symb. Log. 88, No. 4, 1692-1724 (2023). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D28 03D45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mottet, Antoine; Pinsker, Michael Cores over Ramsey structures. (English) Zbl 1529.03194 J. Symb. Log. 86, No. 1, 352-361 (2021). MSC: 03C10 03C35 05D10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Curi, Giovanni Abstract inductive and co-inductive definitions. (English) Zbl 1445.03072 J. Symb. Log. 83, No. 2, 598-616 (2018). Reviewer: Daniel Romano (Banja Luka) MSC: 03G10 03E70 03F65 18B35 × Cite Format Result Cite Review PDF Full Text: DOI
Fornasiero, Antongiulio; Hieronymi, Philipp A fundamental dichotomy for definably complete expansions of ordered fields. (English) Zbl 1373.03062 J. Symb. Log. 80, No. 4, 1091-1115 (2015). MSC: 03C64 12J15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Andréka, Hajnal; Németi, István; Sayed Ahmed, Tarek Omitting types for finite variable fragments and complete representations of algebras. (English) Zbl 1143.03035 J. Symb. Log. 73, No. 1, 65-89 (2008). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 03B10 03C40 × Cite Format Result Cite Review PDF Full Text: DOI Euclid
Csima, Barbara F.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I. Bounding homogeneous models. (English) Zbl 1116.03027 J. Symb. Log. 72, No. 1, 305-323 (2007). MSC: 03C57 03D28 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Baudisch, Andreas Generic variations of models of \(T\). (English) Zbl 1018.03026 J. Symb. Log. 67, No. 3, 1025-1038 (2002). Reviewer: Frank Wagner (Villeurbanne) MSC: 03C45 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Grädel, Erich On the restraining power of guards. (English) Zbl 0958.03027 J. Symb. Log. 64, No. 4, 1719-1742 (1999). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03D15 03B25 03B20 03D35 × Cite Format Result Cite Review PDF Full Text: DOI
Ash, C. J. On countable fractions from an elementary class. (English) Zbl 0818.03015 J. Symb. Log. 59, No. 4, 1410-1413 (1994). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C07 03C52 03C15 03C35 × Cite Format Result Cite Review PDF Full Text: DOI
Bekkali, M. Chains and antichains in interval algebras. (English) Zbl 0810.06012 J. Symb. Log. 59, No. 3, 860-867 (1994). Reviewer: J.Monk (Boulder) MSC: 06E10 03E35 06A05 × Cite Format Result Cite Review PDF Full Text: DOI
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. What is an inference rule? (English) Zbl 0761.03010 J. Symb. Log. 57, No. 3, 1018-1045 (1992). Reviewer: G.Mints (Stanford) MSC: 03B60 03F20 03F07 68Q25 03B45 03B05 03B10 × Cite Format Result Cite Review PDF Full Text: DOI
Baldwin, John T. The spectrum of resplendency. (English) Zbl 0699.03017 J. Symb. Log. 55, No. 2, 626-636 (1990). MSC: 03C45 03C50 × Cite Format Result Cite Review PDF Full Text: DOI
Hrushovski, Ehud Kueker’s conjecture for stable theories. (English) Zbl 0675.03018 J. Symb. Log. 54, No. 1, 207-220 (1989). Reviewer: D.Lascar MSC: 03C35 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Scowcroft, Philip A note on definable Skolem functions. (English) Zbl 0663.03020 J. Symb. Log. 53, No. 3, 905-911 (1988). Reviewer: Ph.Scowcroft MSC: 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI
Kalfa, Cornelia Decision problems concerning properties of finite sets of equations. (English) Zbl 0589.08006 J. Symb. Log. 51, 79-87 (1986). MSC: 08B05 03B25 03C05 × Cite Format Result Cite Review PDF Full Text: DOI
Mason, Ian The metatheory of the classical propositional calculus is not axiomatizable. (English) Zbl 0608.03002 J. Symb. Log. 50, 451-457 (1985). Reviewer: D.Mundici MSC: 03B05 03B25 03C40 03C45 03C95 03D35 × Cite Format Result Cite Review PDF Full Text: DOI
Takeuti, Gaisi; Titani, Satoko Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. (English) Zbl 0575.03015 J. Symb. Log. 49, 851-866 (1984). Reviewer: S. D. Latow MSC: 03B52 03E72 03B50 03C90 03E70 03E40 × Cite Format Result Cite Review PDF Full Text: DOI
Grayson, R. J. Forcing in intuitionistic systems without power-set. (English) Zbl 0595.03056 J. Symb. Log. 48, 670-682 (1983). MSC: 03F55 03E40 × Cite Format Result Cite Review PDF Full Text: DOI
Chong, C. T. Hyperhypersimple supersets in admissible recursion theory. (English) Zbl 0575.03032 J. Symb. Log. 48, 185-192 (1983). MSC: 03D60 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Hirschfeld, Joram Finite forcing, existential types and complete types. (English) Zbl 0436.03026 J. Symb. Log. 45, 93-102 (1980). MSC: 03C30 03C25 03C35 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Loullis, George Sheaves and Boolean valued model theory. (English) Zbl 0411.03028 J. Symb. Log. 44, 153-183 (1979). MSC: 03C90 03C60 18B25 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, J. F. A. K. Canonical modal logics and ultrafilter extensions. (English) Zbl 0405.03011 J. Symb. Log. 44, 1-8 (1979). MSC: 03B45 03C20 03C60 × Cite Format Result Cite Review PDF Full Text: DOI