Berarducci, Alessandro; Edmundo, Mário; Otero, Margarita Corrigendum to: “Transfer methods for o-minimal topology”. (English) Zbl 1119.03334 J. Symb. Log. 72, No. 3, 1079-1080 (2007). MSC: 03C64 54A99 57N99 03C60 PDF BibTeX XML Cite \textit{A. Berarducci} et al., J. Symb. Log. 72, No. 3, 1079--1080 (2007; Zbl 1119.03334) Full Text: DOI Euclid
Cordón-Franco, A.; Fernández-Margarit, A.; Lara-Martín, F. F. A note on \(\Sigma_1\)-maximal models. (English) Zbl 1125.03028 J. Symb. Log. 72, No. 3, 1072-1078 (2007). Reviewer: Roman Kossak (New York) MSC: 03C62 03F30 PDF BibTeX XML Cite \textit{A. Cordón-Franco} et al., J. Symb. Log. 72, No. 3, 1072--1078 (2007; Zbl 1125.03028) Full Text: DOI Euclid
Csima, Barbara F.; Shore, Richard A. The settling-time reducibility ordering. (English) Zbl 1127.03035 J. Symb. Log. 72, No. 3, 1055-1071 (2007). Reviewer: Qian Lei (Nashville) MSC: 03D25 PDF BibTeX XML Cite \textit{B. F. Csima} and \textit{R. A. Shore}, J. Symb. Log. 72, No. 3, 1055--1071 (2007; Zbl 1127.03035) Full Text: DOI Euclid
Khoussainov, Bakhadyr; Semukhin, Pavel; Stephan, Frank Applications of Kolmogorov complexity to computable model theory. (English) Zbl 1127.03031 J. Symb. Log. 72, No. 3, 1041-1054 (2007). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 68Q30 03C35 03C15 PDF BibTeX XML Cite \textit{B. Khoussainov} et al., J. Symb. Log. 72, No. 3, 1041--1054 (2007; Zbl 1127.03031) Full Text: DOI Euclid
Chisholm, J.; Knight, J. F.; Miller, S. Computable embeddings and strongly minimal theories. (English) Zbl 1127.03030 J. Symb. Log. 72, No. 3, 1031-1040 (2007). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D30 03D45 PDF BibTeX XML Cite \textit{J. Chisholm} et al., J. Symb. Log. 72, No. 3, 1031--1040 (2007; Zbl 1127.03030) Full Text: DOI Euclid
Hasson, Assaf; Hrushovski, Ehud DMP in strongly minimal sets. (English) Zbl 1129.03020 J. Symb. Log. 72, No. 3, 1019-1030 (2007). Reviewer: M. Yasuhara (Princeton) MSC: 03C45 PDF BibTeX XML Cite \textit{A. Hasson} and \textit{E. Hrushovski}, J. Symb. Log. 72, No. 3, 1019--1030 (2007; Zbl 1129.03020) Full Text: DOI Euclid
Chisholm, John; Chubb, Jennifer; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy; Pingrey, Sarah \(\Pi_1^0\) classes and strong degree spectra of relations. (English) Zbl 1123.03025 J. Symb. Log. 72, No. 3, 1003-1018 (2007). MSC: 03C57 03D28 68Q30 PDF BibTeX XML Cite \textit{J. Chisholm} et al., J. Symb. Log. 72, No. 3, 1003--1018 (2007; Zbl 1123.03025) Full Text: DOI Euclid
Kourousias, George; Makinson, David Parallel interpolation, splitting, and relevance in belief change. (English) Zbl 1124.03004 J. Symb. Log. 72, No. 3, 994-1002 (2007). Reviewer: Giacomo Bonanno (Davis) MSC: 03B42 PDF BibTeX XML Cite \textit{G. Kourousias} and \textit{D. Makinson}, J. Symb. Log. 72, No. 3, 994--1002 (2007; Zbl 1124.03004) Full Text: DOI Euclid
Jeřábek, Emil Approximate counting in bounded arithmetic. (English) Zbl 1123.03051 J. Symb. Log. 72, No. 3, 959-993 (2007). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D15 68Q15 68W20 PDF BibTeX XML Cite \textit{E. Jeřábek}, J. Symb. Log. 72, No. 3, 959--993 (2007; Zbl 1123.03051) Full Text: DOI Euclid
Hrubeš, Pavel Lower bounds for modal logics. (English) Zbl 1125.03043 J. Symb. Log. 72, No. 3, 941-958 (2007). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03B45 PDF BibTeX XML Cite \textit{P. Hrubeš}, J. Symb. Log. 72, No. 3, 941--958 (2007; Zbl 1125.03043) Full Text: DOI Euclid
Ealy, Clifton; Onshuus, Alf Characterizing rosy theories. (English) Zbl 1127.03027 J. Symb. Log. 72, No. 3, 919-940 (2007). Reviewer: Carlo Toffalori (Camerino) MSC: 03C45 03C64 PDF BibTeX XML Cite \textit{C. Ealy} and \textit{A. Onshuus}, J. Symb. Log. 72, No. 3, 919--940 (2007; Zbl 1127.03027) Full Text: DOI Euclid
Knight, Julia F.; Miller, Sara; Vanden Boom, M. Turing computable embeddings. (English) Zbl 1123.03026 J. Symb. Log. 72, No. 3, 901-918 (2007). MSC: 03C57 PDF BibTeX XML Cite \textit{J. F. Knight} et al., J. Symb. Log. 72, No. 3, 901--918 (2007; Zbl 1123.03026) Full Text: DOI Euclid
Forster, Thomas Erdős-Rado without choice. (English) Zbl 1129.03025 J. Symb. Log. 72, No. 3, 897-900 (2007). Reviewer: Egbert Harzheim (Köln) MSC: 03E05 03E25 PDF BibTeX XML Cite \textit{T. Forster}, J. Symb. Log. 72, No. 3, 897--900 (2007; Zbl 1129.03025) Full Text: DOI Euclid
Abraham, Uri; Cummings, James; Smyth, Clifford Some results in polychromatic Ramsey theory. (English) Zbl 1125.03034 J. Symb. Log. 72, No. 3, 865-896 (2007). Reviewer: Péter Komjáth (Budapest) MSC: 03E02 03E35 03E50 05D10 PDF BibTeX XML Cite \textit{U. Abraham} et al., J. Symb. Log. 72, No. 3, 865--896 (2007; Zbl 1125.03034) Full Text: DOI Euclid
Metcalfe, George; Montagna, Franco Substructural fuzzy logics. (English) Zbl 1139.03017 J. Symb. Log. 72, No. 3, 834-864 (2007). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B50 03B47 03F52 03G10 PDF BibTeX XML Cite \textit{G. Metcalfe} and \textit{F. Montagna}, J. Symb. Log. 72, No. 3, 834--864 (2007; Zbl 1139.03017) Full Text: DOI Euclid
Zhu, Zhaohui; Zhang, Rong An algebraic characterization of equivalent preferential models. (English) Zbl 1203.03043 J. Symb. Log. 72, No. 3, 803-833 (2007). MSC: 03B60 68T27 PDF BibTeX XML Cite \textit{Z. Zhu} and \textit{R. Zhang}, J. Symb. Log. 72, No. 3, 803--833 (2007; Zbl 1203.03043) Full Text: DOI Euclid
Barbina, Silvia; Macpherson, Dugald Reconstruction of homogeneous relational structures. (English) Zbl 1128.03022 J. Symb. Log. 72, No. 3, 792-802 (2007). Reviewer: Martin Weese (Potsdam) MSC: 03C50 03C35 03C40 20B27 PDF BibTeX XML Cite \textit{S. Barbina} and \textit{D. Macpherson}, J. Symb. Log. 72, No. 3, 792--802 (2007; Zbl 1128.03022) Full Text: DOI Euclid
van den Berg, Benno; De Marchi, Federico Models of non-well-founded sets via an indexed final coalgebra theorem. (English) Zbl 1124.03049 J. Symb. Log. 72, No. 3, 767-791 (2007). Reviewer: Dimitru Buşneag (Craiova) MSC: 03G30 03E70 18A22 PDF BibTeX XML Cite \textit{B. van den Berg} and \textit{F. De Marchi}, J. Symb. Log. 72, No. 3, 767--791 (2007; Zbl 1124.03049) Full Text: DOI Euclid arXiv
Truss, J. K. On notions of genericity and mutual genericity. (English) Zbl 1123.03022 J. Symb. Log. 72, No. 3, 755-766 (2007). MSC: 03C50 20B27 06A06 PDF BibTeX XML Cite \textit{J. K. Truss}, J. Symb. Log. 72, No. 3, 755--766 (2007; Zbl 1123.03022) Full Text: DOI Euclid
Terui, Kazushige Which structural rules admit cut elimination? An algebraic criterion. (English) Zbl 1128.03048 J. Symb. Log. 72, No. 3, 738-754 (2007). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F05 03F52 03B47 PDF BibTeX XML Cite \textit{K. Terui}, J. Symb. Log. 72, No. 3, 738--754 (2007; Zbl 1128.03048) Full Text: DOI Euclid
Steel, J. R. Local \(K^c\) constructions. (English) Zbl 1127.03040 J. Symb. Log. 72, No. 3, 721-737 (2007). Reviewer: Martin Weese (Potsdam) MSC: 03E45 03E35 03E55 PDF BibTeX XML Cite \textit{J. R. Steel}, J. Symb. Log. 72, No. 3, 721--737 (2007; Zbl 1127.03040) Full Text: DOI Euclid