Benedikt, Michael; Keisler, H. Jerome Definability with a predicate for a semi-linear set. (English) Zbl 1045.03032 J. Symb. Log. 68, No. 1, 319-351 (2003). Reviewer: Jaroslav Pokorný (Praha) MSC: 03B70 68P15 PDF BibTeX XML Cite \textit{M. Benedikt} and \textit{H. J. Keisler}, J. Symb. Log. 68, No. 1, 319--351 (2003; Zbl 1045.03032) Full Text: DOI OpenURL
Ziegler, Martin Separably closed fields with Hasse derivations. (English) Zbl 1039.03031 J. Symb. Log. 68, No. 1, 311-318 (2003). MSC: 03C60 12L12 03C10 PDF BibTeX XML Cite \textit{M. Ziegler}, J. Symb. Log. 68, No. 1, 311--318 (2003; Zbl 1039.03031) Full Text: DOI OpenURL
Givant, Steven Inequivalent representations of geometric relation algebras. (English) Zbl 1051.03053 J. Symb. Log. 68, No. 1, 267-310 (2003). Reviewer: Roger Maddux (Ames) MSC: 03G15 51E15 PDF BibTeX XML Cite \textit{S. Givant}, J. Symb. Log. 68, No. 1, 267--310 (2003; Zbl 1051.03053) Full Text: DOI OpenURL
Raatikainen, Panu Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories. (English) Zbl 1054.03010 J. Symb. Log. 68, No. 1, 262-266 (2003). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03B25 03D35 11U05 03B20 03B30 03F55 PDF BibTeX XML Cite \textit{P. Raatikainen}, J. Symb. Log. 68, No. 1, 262--266 (2003; Zbl 1054.03010) Full Text: DOI OpenURL
Matet, Pierre; Pawlikowski, Janusz \(Q\)-pointness, \(P\)-pointness and feebleness of ideals. (English) Zbl 1042.03034 J. Symb. Log. 68, No. 1, 235-261 (2003). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E05 PDF BibTeX XML Cite \textit{P. Matet} and \textit{J. Pawlikowski}, J. Symb. Log. 68, No. 1, 235--261 (2003; Zbl 1042.03034) Full Text: DOI OpenURL
Duparc, Jacques The Steel hierarchy of ordinal valued Borel mappings. (English) Zbl 1050.03032 J. Symb. Log. 68, No. 1, 187-234 (2003). Reviewer: Alberto Marcone (Udine) MSC: 03E15 PDF BibTeX XML Cite \textit{J. Duparc}, J. Symb. Log. 68, No. 1, 187--234 (2003; Zbl 1050.03032) Full Text: DOI OpenURL
Kaneko, Mamoru; Suzuki, Nobu-Yuki Epistemic models of shallow depths and decision making in games: Horticulture. (English) Zbl 1041.03011 J. Symb. Log. 68, No. 1, 163-186 (2003). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 03B80 91A35 PDF BibTeX XML Cite \textit{M. Kaneko} and \textit{N.-Y. Suzuki}, J. Symb. Log. 68, No. 1, 163--186 (2003; Zbl 1041.03011) Full Text: DOI OpenURL
Cluckers, Raf Presburger sets and \(p\)-minimal fields. (English) Zbl 1046.03019 J. Symb. Log. 68, No. 1, 153-162 (2003). Reviewer: Roman Kossak (New York) MSC: 03C60 03C62 PDF BibTeX XML Cite \textit{R. Cluckers}, J. Symb. Log. 68, No. 1, 153--162 (2003; Zbl 1046.03019) Full Text: DOI arXiv OpenURL
Bimbó, Katalin The Church-Rosser property in dual combinatory logic. (English) Zbl 1045.03017 J. Symb. Log. 68, No. 1, 132-152 (2003). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Bimbó}, J. Symb. Log. 68, No. 1, 132--152 (2003; Zbl 1045.03017) Full Text: DOI OpenURL
Blass, Andreas; Gurevich, Yuri Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time. (English) Zbl 1045.03039 J. Symb. Log. 68, No. 1, 65-131 (2003). Reviewer: Gregory Loren McColm (Tampa) MSC: 03D10 68Q19 68Q05 03C13 05C80 68Q15 PDF BibTeX XML Cite \textit{A. Blass} and \textit{Y. Gurevich}, J. Symb. Log. 68, No. 1, 65--131 (2003; Zbl 1045.03039) Full Text: DOI OpenURL
Ishmukhametov, Shamil On a problem of Cooper and Epstein. (English) Zbl 1053.03022 J. Symb. Log. 68, No. 1, 52-64 (2003). Reviewer: Roland Sh. Omanadze (Tbilisi) MSC: 03D25 PDF BibTeX XML Cite \textit{S. Ishmukhametov}, J. Symb. Log. 68, No. 1, 52--64 (2003; Zbl 1053.03022) Full Text: DOI OpenURL
Wencel, Roman Definable sets in Boolean ordered o-minimal structures. II. (English) Zbl 1043.03033 J. Symb. Log. 68, No. 1, 35-51 (2003). Reviewer: Carlo Toffalori (Camerino) MSC: 03C64 PDF BibTeX XML Cite \textit{R. Wencel}, J. Symb. Log. 68, No. 1, 35--51 (2003; Zbl 1043.03033) Full Text: DOI OpenURL
Beklemishev, Lev D. On the induction schema for decidable predicates. (English) Zbl 1041.03042 J. Symb. Log. 68, No. 1, 17-34 (2003). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D20 PDF BibTeX XML Cite \textit{L. D. Beklemishev}, J. Symb. Log. 68, No. 1, 17--34 (2003; Zbl 1041.03042) Full Text: DOI Link OpenURL
Weiermann, Andreas An application of graphical enumeration to PA. (English) Zbl 1041.03045 J. Symb. Log. 68, No. 1, 5-16 (2003). Reviewer: Roman Murawski (Poznań) MSC: 03F30 PDF BibTeX XML Cite \textit{A. Weiermann}, J. Symb. Log. 68, No. 1, 5--16 (2003; Zbl 1041.03045) Full Text: DOI OpenURL
Forster, Thomas ZF + “every set is the same size as a wellfounded set”. (English) Zbl 1044.03037 J. Symb. Log. 68, No. 1, 1-4 (2003). Reviewer: Adonai S. Sant’Anna (Columbia) MSC: 03E25 PDF BibTeX XML Cite \textit{T. Forster}, J. Symb. Log. 68, No. 1, 1--4 (2003; Zbl 1044.03037) Full Text: DOI OpenURL