Parigot, Michel Proofs of strong normalisation for second order classical natural deduction. (English) Zbl 0941.03063 J. Symb. Log. 62, No. 4, 1461-1479 (1997). MSC: 03F05 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Moerdijk, Ieke; Palmgren, Erik Minimal models of Heyting arithmetic. (English) Zbl 0899.03044 J. Symb. Log. 62, No. 4, 1448-1460 (1997). Reviewer: R.Kossak (New York) MSC: 03H15 03C90 × Cite Format Result Cite Review PDF Full Text: DOI Link
Toffalori, Carlo Wildness implies undecidability for lattices over group rings. (English) Zbl 0901.16007 J. Symb. Log. 62, No. 4, 1429-1447 (1997). Reviewer: M.Prest (Manchester) MSC: 16G30 16S34 16H05 20C05 16B70 03C60 03B35 16G60 × Cite Format Result Cite Review PDF Full Text: DOI
Bagaria, Joan; Woodin, W. Hugh \(\underset\sim {\Delta}_n^1\) sets of reals. (English) Zbl 0897.03051 J. Symb. Log. 62, No. 4, 1379-1428 (1997). Reviewer: A.W.Miller (Madison) MSC: 03E15 × Cite Format Result Cite Review PDF Full Text: DOI
McGee, Vann The complexity of the modal predicate logic of “true in every transitive model of ZF”. (English) Zbl 0898.03007 J. Symb. Log. 62, No. 4, 1371-1378 (1997). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Martin, Eric; Osherson, Daniel Scientific discovery based on belief revision. (English) Zbl 0896.03027 J. Symb. Log. 62, No. 4, 1352-1370 (1997). Reviewer: D.Makinson (Ville d’Avray) MSC: 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Kanovei, Vladimir An Ulm-type classification theorem for equivalence relations in Solovay model. (English) Zbl 0895.03020 J. Symb. Log. 62, No. 4, 1333-1351 (1997). Reviewer: M.Repický (Košice) MSC: 03E15 03E45 03E40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Negri, Sara; Valentini, Silvio Tychonoff’s theorem in the framework of formal topologies. (English) Zbl 0893.03023 J. Symb. Log. 62, No. 4, 1315-1332 (1997). Reviewer: P.T.Johnstone (Cambridge) MSC: 03F65 54D30 03F35 03E25 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Rosłanowski, Andrzej; Shelah, Saharon Simple forcing notions and forcing axioms. (English) Zbl 0952.03061 J. Symb. Log. 62, No. 4, 1297-1314 (1997). MSC: 03E40 03E50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bès, Alexis Undecidable extensions of Büchi arithmetic and Cobham-Semënov theorem. (English) Zbl 0896.03011 J. Symb. Log. 62, No. 4, 1280-1296 (1997). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03B25 03D05 × Cite Format Result Cite Review PDF Full Text: DOI
Bell, J. L. Zorn’s lemma and complete Boolean algebras in intuitionistic type theorems. (English) Zbl 0896.03049 J. Symb. Log. 62, No. 4, 1265-1279 (1997). Reviewer: B.Boričić (Beograd) MSC: 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Scheepers, Marion; Weiss, William Variations on a game of Gale. III: Remainder strategies. (English) Zbl 0952.03059 J. Symb. Log. 62, No. 4, 1253-1264 (1997). MSC: 03E20 91A44 × Cite Format Result Cite Review PDF Full Text: DOI
Jin, Renling Type two cuts, bad cuts and very bad cuts. (English) Zbl 0897.03064 J. Symb. Log. 62, No. 4, 1241-1252 (1997). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Downey, Rodney G.; Lempp, Steffen Contiguity and distributivity in the enumerable Turing degrees. (English) Zbl 0897.03047 J. Symb. Log. 62, No. 4, 1215-1240 (1997); corrigendum ibid. 67, No. 4, 1579-1580 (2002) . Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Asperti, Andrea; Ciabattoni, Agata A sufficient condition for completability of partial combinatory algebras. (English) Zbl 0918.03007 J. Symb. Log. 62, No. 4, 1209-1214 (1997). Reviewer: M.W.Bunder (Wollongong) MSC: 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Lafont, Yves The finite model property for various fragments of linear logic. (English) Zbl 0897.03010 J. Symb. Log. 62, No. 4, 1202-1208 (1997). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03B20 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Jain, Sanjay; Sharma, Arun The structure of intrinsic complexity of learning. (English) Zbl 0895.68121 J. Symb. Log. 62, No. 4, 1187-1201 (1997). Reviewer: N.Ţăndăreanu (Craiova) MSC: 68T05 03D20 03D05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Mildenberger, Heike Non-constructive Galois-Tukey connections. (English) Zbl 0894.03028 J. Symb. Log. 62, No. 4, 1179-1186 (1997). Reviewer: P.Vojtáš (Košice) MSC: 03E15 × Cite Format Result Cite Review PDF Full Text: DOI
Bianconi, Ricardo Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function. (English) Zbl 0899.03026 J. Symb. Log. 62, No. 4, 1173-1178 (1997). Reviewer: T.Pheidas (Iraklion) MSC: 03C60 12L12 03C40 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Goldring, Noa The entire NS ideal on \({\mathcal P}_\gamma\mu\) can be precipitous. (English) Zbl 0941.03051 J. Symb. Log. 62, No. 4, 1161-1172 (1997). MSC: 03E05 03E55 03E35 03C55 × Cite Format Result Cite Review PDF Full Text: DOI
Gilchrist, Martin; Shelah, Saharon The consistency of ZFC\(+2^{\aleph_0}>\aleph_\omega+{\mathcal J}(\aleph_2)={\mathcal J}(\aleph_\omega)\). (English) Zbl 0897.03052 J. Symb. Log. 62, No. 4, 1151-1160 (1997). Reviewer: Otmar Spinas (Zürich) MSC: 03E35 03E05 05C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Dalen, Dirk How connected is the intuitionistic continuum? (English) Zbl 0895.03026 J. Symb. Log. 62, No. 4, 1147-1150 (1997). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Jäger, Gerhard Power types in explicit mathematics? (English) Zbl 0893.03022 J. Symb. Log. 62, No. 4, 1114-1146 (1997). MSC: 03F50 03F35 03F65 × Cite Format Result Cite Review PDF Full Text: DOI Link
Holly, Jan E. Prototypes for definable subsets of algebraically closed valued fields. (English) Zbl 0899.03027 J. Symb. Log. 62, No. 4, 1093-1141 (1997). Reviewer: T.Pheidas (Iraklion) MSC: 03C60 12L12 12J10 × Cite Format Result Cite Review PDF Full Text: DOI
Haskell, Deirdre; Macpherson, Dugald A version of \(o\)-minimality for the \(p\)-adics. (English) Zbl 0894.03015 J. Symb. Log. 62, No. 4, 1075-1092 (1997). Reviewer: J.M.Plotkin (East Lansing) MSC: 03C50 12L12 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Pillay, Anand; Tsuboi, Akito Amalgamations preserving \(\aleph_0\)-categoricity. (English) Zbl 0899.03025 J. Symb. Log. 62, No. 4, 1070-1074 (1997). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C35 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
Kremer, Philip Defining relevant implication in a propositionally quantified S4. (English) Zbl 0949.03021 J. Symb. Log. 62, No. 4, 1057-1069 (1997). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI