Sher, G. Y. Did Tarski commit “Tarski’s fallacy”? (English) Zbl 0859.03003 J. Symb. Log. 61, No. 2, 653-686 (1996). Reviewer: J.Mackenzie (Sydney) MSC: 03A05 00A30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ensley, Douglas E. Automorphism-invariant measures on \(\aleph_ 0\)-categorical structures without the independence property. (English) Zbl 0862.03021 J. Symb. Log. 61, No. 2, 640-652 (1996). Reviewer: G.Fuhrken (Minneapolis) MSC: 03C50 05C80 03C35 60B99 28E15 × Cite Format Result Cite Review PDF Full Text: DOI
Schimmerling, E.; Steel, J. R. Fine structure for tame inner models. (English) Zbl 0861.03040 J. Symb. Log. 61, No. 2, 621-639 (1996). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E45 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Purdy, William C. Fluted formulas and the limits of decidability. (English) Zbl 0858.03012 J. Symb. Log. 61, No. 2, 608-620 (1996). Reviewer: J.M.Plotkin (East Lansing) MSC: 03B25 03B10 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kanovei, Vladimir On external Scott algebras in nonstandard models of Peano arithmetic. (English) Zbl 0859.03034 J. Symb. Log. 61, No. 2, 586-607 (1996). Reviewer: R.Kossak (New York) MSC: 03H15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Finkel, O.; Ressayre, J. P. Stretchings. (English) Zbl 0866.03020 J. Symb. Log. 61, No. 2, 563-585 (1996). MSC: 03C07 03C55 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Gurevich, Yuri; Shelah, Saharon On finite rigid structures. (English) Zbl 0860.03029 J. Symb. Log. 61, No. 2, 549-562 (1996). Reviewer: J.Flum (Freiburg i.Br.) MSC: 03C13 03C75 03C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lafont, Yves The undecidability of second order linear logic without exponentials. (English) Zbl 0866.03005 J. Symb. Log. 61, No. 2, 541-548 (1996). MSC: 03B25 03B20 03D05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis Definability and decidability issues in extensions of the integers with the divisibility predicate. (English) Zbl 0868.11061 J. Symb. Log. 61, No. 2, 515-540 (1996). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 11U09 03C40 03B25 11U05 × Cite Format Result Cite Review PDF Full Text: DOI
Maddy, Penelope Set theoretic naturalism. (English) Zbl 0882.03004 J. Symb. Log. 61, No. 2, 490-514 (1996). Reviewer: W.Veldman (Nijmegen) MSC: 03A05 03Exx 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Glass, Thomas On power set in explicit mathematics. (English) Zbl 0889.03055 J. Symb. Log. 61, No. 2, 468-489 (1996). MSC: 03F50 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Groszek, Marcia J.; Mytilinaios, Michael E.; Slaman, Theodore A. The Sacks density theorem and \(\Sigma_ 2\)-bounding. (English) Zbl 0858.03047 J. Symb. Log. 61, No. 2, 450-467 (1996). Reviewer: Zheng Xizhong (Hagen) MSC: 03D25 03F30 03D30 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Zakharyaschev, Michael Canonical formulas for K4. II: Cofinal subframe logics. (English) Zbl 0884.03014 J. Symb. Log. 61, No. 2, 421-449 (1996). Reviewer: V.Shekhtman (Moskva) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Brady, Ross T. Gentzenization of relevant logics with distribution. (English) Zbl 0862.03014 J. Symb. Log. 61, No. 2, 402-420 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Brady, Ross T. Gentzenizations of relevant logics without distribution. II. (English) Zbl 0862.03013 J. Symb. Log. 61, No. 2, 379-401 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Brady, Ross T. Gentzenizations of relevant logics without distribution. I. (English) Zbl 0862.03012 J. Symb. Log. 61, No. 2, 353-378 (1996). Reviewer: M.Urchs (Berlin) MSC: 03B47 × Cite Format Result Cite Review PDF Full Text: DOI