Nadel, Mark; Stavi, Jonathan On models of the elementary theory of \((\mathbb{Z}{},+,1)\). (English) Zbl 0739.03023 J. Symb. Log. 55, No. 1, 1-20 (1990). MSC: 03C60 20A15 20K99 PDFBibTeX XMLCite \textit{M. Nadel} and \textit{J. Stavi}, J. Symb. Log. 55, No. 1, 1--20 (1990; Zbl 0739.03023) Full Text: DOI
Williams, James G. On the formalization of semantic conventions. (English) Zbl 0723.03003 J. Symb. Log. 55, No. 1, 220-243 (1990). Reviewer: J.-J.Ch.Meyer (Amsterdam) MSC: 03B30 03B70 68Q55 PDFBibTeX XMLCite \textit{J. G. Williams}, J. Symb. Log. 55, No. 1, 220--243 (1990; Zbl 0723.03003) Full Text: DOI
Gerla, Giangiacomo Pointless metric spaces. (English) Zbl 0721.54029 J. Symb. Log. 55, No. 1, 207-219 (1990). Reviewer: P.T.Johnstone (Cambridge) MSC: 54E99 54A40 PDFBibTeX XMLCite \textit{G. Gerla}, J. Symb. Log. 55, No. 1, 207--219 (1990; Zbl 0721.54029) Full Text: DOI
López-Escobar, E. G. K. Remarks on the Church-Rosser property. (English) Zbl 0715.03025 J. Symb. Log. 55, No. 1, 106-112 (1990). Reviewer: A.A.Mullin MSC: 03F50 03B40 03F05 PDFBibTeX XMLCite \textit{E. G. K. López-Escobar}, J. Symb. Log. 55, No. 1, 106--112 (1990; Zbl 0715.03025) Full Text: DOI
Merrill, John W. L. UFA fails in the Bell-Kunen model. (English) Zbl 0715.03021 J. Symb. Log. 55, No. 1, 284-296 (1990). Reviewer: A.Dow MSC: 03E35 PDFBibTeX XMLCite \textit{J. W. L. Merrill}, J. Symb. Log. 55, No. 1, 284--296 (1990; Zbl 0715.03021) Full Text: DOI
Cantini, Andrea A theory of formal truth arithmetically equivalent to \(ID_ 1\). (English) Zbl 0713.03029 J. Symb. Log. 55, No. 1, 244-259 (1990). Reviewer: N.Both MSC: 03F30 03F40 PDFBibTeX XMLCite \textit{A. Cantini}, J. Symb. Log. 55, No. 1, 244--259 (1990; Zbl 0713.03029) Full Text: DOI
Goodman, Nicolas D. Mathematics as natural science. (English) Zbl 0713.00001 J. Symb. Log. 55, No. 1, 182-193 (1990). Reviewer: R.J.Taschner MSC: 00A30 03A05 PDFBibTeX XMLCite \textit{N. D. Goodman}, J. Symb. Log. 55, No. 1, 182--193 (1990; Zbl 0713.00001) Full Text: DOI
Blizard, Wayne D. A formal theory of objects, space and time. (English) Zbl 0711.03001 J. Symb. Log. 55, No. 1, 74-89 (1990). Reviewer: M.Yasuhara MSC: 03B30 70A05 PDFBibTeX XMLCite \textit{W. D. Blizard}, J. Symb. Log. 55, No. 1, 74--89 (1990; Zbl 0711.03001) Full Text: DOI
Gordeev, L. Generalizations of the Kruskal-Friedman theorems. (English) Zbl 0709.03043 J. Symb. Log. 55, No. 1, 157-181 (1990). Reviewer: H.Pfeiffer MSC: 03F20 03F15 03F35 PDFBibTeX XMLCite \textit{L. Gordeev}, J. Symb. Log. 55, No. 1, 157--181 (1990; Zbl 0709.03043) Full Text: DOI
Wagner, Frank Subgroups of stable groups. (English) Zbl 0709.03029 J. Symb. Log. 55, No. 1, 151-156 (1990). Reviewer: O.V.Belegradek MSC: 03C60 20A15 03C45 12L12 PDFBibTeX XMLCite \textit{F. Wagner}, J. Symb. Log. 55, No. 1, 151--156 (1990; Zbl 0709.03029) Full Text: DOI
Shelah, Saharon Strong negative partition above the continuum. (English) Zbl 0708.03026 J. Symb. Log. 55, No. 1, 21-31 (1990). Reviewer: J.Roitman MSC: 03E55 54A25 03E05 PDFBibTeX XMLCite \textit{S. Shelah}, J. Symb. Log. 55, No. 1, 21--31 (1990; Zbl 0708.03026) Full Text: DOI
Ajtai, Miklos; Fagin, Ronald Reachability is harder for directed than for undirected finite graphs. (English) Zbl 0708.03016 J. Symb. Log. 55, No. 1, 113-150 (1990). Reviewer: Tao Renji MSC: 03D15 05C40 68Q25 68R10 PDFBibTeX XMLCite \textit{M. Ajtai} and \textit{R. Fagin}, J. Symb. Log. 55, No. 1, 113--150 (1990; Zbl 0708.03016) Full Text: DOI
Grigorieff, Serge Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n)). (English) Zbl 0708.03015 J. Symb. Log. 55, No. 1, 260-276 (1990). Reviewer: Tao Renji MSC: 03D15 68Q15 PDFBibTeX XMLCite \textit{S. Grigorieff}, J. Symb. Log. 55, No. 1, 260--276 (1990; Zbl 0708.03015) Full Text: DOI
Hindley, J. Roger; Meredith, David Principal type-schemes and condensed detachment. (English) Zbl 0708.03007 J. Symb. Log. 55, No. 1, 90-105 (1990). Reviewer: M.W.Bunder MSC: 03B40 03B05 03B20 PDFBibTeX XMLCite \textit{J. R. Hindley} and \textit{D. Meredith}, J. Symb. Log. 55, No. 1, 90--105 (1990; Zbl 0708.03007) Full Text: DOI
Leloup, Gérard Théories complètes de paires de corps valués henseliens. (Complete theories of pairs of Henselian valued fields). (French) Zbl 0707.03028 J. Symb. Log. 55, No. 1, 323-339 (1990). Reviewer: D.Busneag MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{G. Leloup}, J. Symb. Log. 55, No. 1, 323--339 (1990; Zbl 0707.03028) Full Text: DOI
Haddad, Labib; Morillon, Marianne L’axiome de normalité pour les espaces totalement ordonnés. (The axiom of normality for totally ordered spaces). (French) Zbl 0706.03039 J. Symb. Log. 55, No. 1, 277-283 (1990). MSC: 03E35 54A35 54F05 03E25 54D15 06F30 PDFBibTeX XMLCite \textit{L. Haddad} and \textit{M. Morillon}, J. Symb. Log. 55, No. 1, 277--283 (1990; Zbl 0706.03039) Full Text: DOI
Williamson, Timothy Two incomplete anti-realist modal epistemic logics. (English) Zbl 0706.03019 J. Symb. Log. 55, No. 1, 297-314 (1990). Reviewer: J.Mackenzie MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{T. Williamson}, J. Symb. Log. 55, No. 1, 297--314 (1990; Zbl 0706.03019) Full Text: DOI
Zafrany, Samy On analytic filters and prefilters. (English) Zbl 0705.03027 J. Symb. Log. 55, No. 1, 315-322 (1990). MSC: 03E15 PDFBibTeX XMLCite \textit{S. Zafrany}, J. Symb. Log. 55, No. 1, 315--322 (1990; Zbl 0705.03027) Full Text: DOI
Oikkonen, Juha On Ehrenfeucht-Fraïssé equivalence of linear orderings. (English) Zbl 0704.03019 J. Symb. Log. 55, No. 1, 65-73 (1990). Reviewer: Klaus Gloede (Heidelberg) MSC: 03C75 PDFBibTeX XMLCite \textit{J. Oikkonen}, J. Symb. Log. 55, No. 1, 65--73 (1990; Zbl 0704.03019) Full Text: DOI
Lubarsky, Robert S. An introduction to \(\gamma\)-recursion theory (or what to do in KP- foundation). (English) Zbl 0703.03025 J. Symb. Log. 55, No. 1, 194-206 (1990). Reviewer: R.S.Lubarsky MSC: 03D60 03E70 PDFBibTeX XMLCite \textit{R. S. Lubarsky}, J. Symb. Log. 55, No. 1, 194--206 (1990; Zbl 0703.03025) Full Text: DOI
Abrusci, V. Michele; Girard, Jean-Yves; van de Wiele, Jacques Some uses of dilators in combinatorial problems. II. (English) Zbl 0701.03027 J. Symb. Log. 55, No. 1, 32-40 (1990). MSC: 03F15 PDFBibTeX XMLCite \textit{V. M. Abrusci} et al., J. Symb. Log. 55, No. 1, 32--40 (1990; Zbl 0701.03027) Full Text: DOI
Yetter, David N. Quantales and (noncommutative) linear logic. (English) Zbl 0701.03026 J. Symb. Log. 55, No. 1, 41-64 (1990). Reviewer: G.Mints MSC: 03F05 18A15 03B45 03G30 06B23 06F05 PDFBibTeX XMLCite \textit{D. N. Yetter}, J. Symb. Log. 55, No. 1, 41--64 (1990; Zbl 0701.03026) Full Text: DOI
Meeting of the Association for Symbolic Logic, Chicago, 1989. (English) Zbl 0701.03005 J. Symb. Log. 55, No. 1, 436-445 (1990). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 55, No. 1, 436--445 (1990; Zbl 0701.03005) Full Text: DOI
European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’88, Padova, 1988. (English) Zbl 0701.03004 J. Symb. Log. 55, No. 1, 387-435 (1990). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 55, No. 1, 387--435 (1990; Zbl 0701.03004) Full Text: DOI
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989. (English) Zbl 0701.03003 J. Symb. Log. 55, No. 1, 372-386 (1990). MSC: 03-06 PDFBibTeX XMLCite J. Symb. Log. 55, No. 1, 372--386 (1990; Zbl 0701.03003) Full Text: DOI