Anshakov, O.; Rychkov, S. On finite-valued propositional logical calculi. (English) Zbl 0852.03009 Notre Dame J. Formal Logic 36, No. 4, 606-629 (1995). Reviewer: A.Hoogewijs (Gent) MSC: 03B50 PDF BibTeX XML Cite \textit{O. Anshakov} and \textit{S. Rychkov}, Notre Dame J. Formal Logic 36, No. 4, 606--629 (1995; Zbl 0852.03009) Full Text: DOI OpenURL
Kondo, Michiro Approximation logic and strong Bunge algebra. (English) Zbl 0843.03015 Notre Dame J. Formal Logic 36, No. 4, 595-605 (1995). MSC: 03B60 03G25 PDF BibTeX XML Cite \textit{M. Kondo}, Notre Dame J. Formal Logic 36, No. 4, 595--605 (1995; Zbl 0843.03015) Full Text: DOI OpenURL
Bellissima, Fabio; Bucalo, Anna A distinguishable model theorem for the minimal \(\text{US}\)-tense logic. (English) Zbl 0843.03007 Notre Dame J. Formal Logic 36, No. 4, 585-594 (1995). MSC: 03B45 PDF BibTeX XML Cite \textit{F. Bellissima} and \textit{A. Bucalo}, Notre Dame J. Formal Logic 36, No. 4, 585--594 (1995; Zbl 0843.03007) Full Text: DOI OpenURL
Seetapun, David; Slaman, Theodore A. On the strength of Ramsey’s theorem. (English) Zbl 0843.03034 Notre Dame J. Formal Logic 36, No. 4, 570-582 (1995). MSC: 03F30 PDF BibTeX XML Cite \textit{D. Seetapun} and \textit{T. A. Slaman}, Notre Dame J. Formal Logic 36, No. 4, 570--582 (1995; Zbl 0843.03034) Full Text: DOI OpenURL
Schmerl, James H. \(\text{PA} (aa)\). (English) Zbl 0848.03018 Notre Dame J. Formal Logic 36, No. 4, 560-569 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03F35 PDF BibTeX XML Cite \textit{J. H. Schmerl}, Notre Dame J. Formal Logic 36, No. 4, 560--569 (1995; Zbl 0848.03018) Full Text: DOI OpenURL
Kaye, Richard The theory of \(\kappa\)-like models of arithmetic. (English) Zbl 0848.03019 Notre Dame J. Formal Logic 36, No. 4, 547-559 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03F30 PDF BibTeX XML Cite \textit{R. Kaye}, Notre Dame J. Formal Logic 36, No. 4, 547--559 (1995; Zbl 0848.03019) Full Text: DOI OpenURL
Kossak, Roman; Schmerl, James H. Arithmetically saturated models of arithmetic. (English) Zbl 0848.03017 Notre Dame J. Formal Logic 36, No. 4, 531-546 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 PDF BibTeX XML Cite \textit{R. Kossak} and \textit{J. H. Schmerl}, Notre Dame J. Formal Logic 36, No. 4, 531--546 (1995; Zbl 0848.03017) Full Text: DOI OpenURL
Kossak, Roman Four problems concerning recursively saturated models of arithmetic. (English) Zbl 0848.03016 Notre Dame J. Formal Logic 36, No. 4, 519-530 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03C50 PDF BibTeX XML Cite \textit{R. Kossak}, Notre Dame J. Formal Logic 36, No. 4, 519--530 (1995; Zbl 0848.03016) Full Text: DOI OpenURL
Kotlarski, Henryk Automorphisms of countable recursively saturated models of PA: A survey. (English) Zbl 0848.03015 Notre Dame J. Formal Logic 36, No. 4, 505-518 (1995). Reviewer: R.Kossak (New York) MSC: 03C62 03-02 03C50 PDF BibTeX XML Cite \textit{H. Kotlarski}, Notre Dame J. Formal Logic 36, No. 4, 505--518 (1995; Zbl 0848.03015) Full Text: DOI OpenURL
Murawski, Roman The contribution of Zygmunt Ratajczyk to the foundations of arithmetic. (English) Zbl 0844.03001 Notre Dame J. Formal Logic 36, No. 4, 502-504 (1995). Reviewer: R.Murawski (Poznań) MSC: 03-03 03F30 01A70 PDF BibTeX XML Cite \textit{R. Murawski}, Notre Dame J. Formal Logic 36, No. 4, 502--504 (1995; Zbl 0844.03001) Full Text: DOI OpenURL
Clote, Peter Editor’s introduction to the special issue on “Models of arithmetic”. (English) Zbl 0845.03017 Notre Dame J. Formal Logic 36, No. 4, 499-501 (1995). MSC: 03C62 PDF BibTeX XML Cite \textit{P. Clote}, Notre Dame J. Formal Logic 36, No. 4, 499--501 (1995; Zbl 0845.03017) Full Text: DOI OpenURL