Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 14311 results
Sort by: relevance publication year

A. N. Prior. Logic, many-valued. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 1–5.

JOURNAL ARTICLE published June 1970 in Journal of Symbolic Logic

Authors: William Craig

Johann Sonner. On the formal definition of categories. Mathematische Zeitschrift, vol. 80 no. 2 (1962), pp. 163–176.

JOURNAL ARTICLE published September 1972 in Journal of Symbolic Logic

Authors: N. C. A. da Costa

JSL volume 21 issue 3 Cover and Front matter and Errata

JOURNAL ARTICLE published September 1956 in Journal of Symbolic Logic

On countable fractions from an elementary class

JOURNAL ARTICLE published December 1994 in Journal of Symbolic Logic

Authors: C. J. Ash

Howard Becker and Alexander S. Kechris. The descriptive set theory of Polish group actions. London Mathematical Society lecture note series, no. 232. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 136 pp.

JOURNAL ARTICLE published December 1998 in Journal of Symbolic Logic

Authors: Arlan Ramsay

Albert Menne. Logik und Existenz. Eine logistische Analyse der kategorischen Syllogismusfunktoren und das Problem der Nullklasse. Westkulturverlag Anton Hain, Meisenheim am Glan1954, 153 pp.

JOURNAL ARTICLE published December 1956 in Journal of Symbolic Logic

Authors: A. R. Turquette

A. N. Prior. Escapism: the logical basis of ethics. Essays in moral philosophy, edited by A. I. Melden, University of Washington Press, Seattle1958, pp. 135–146; and paper-bound edition, University of Washington Press, Seattle and London 1966, pp. 135–146.

JOURNAL ARTICLE published January 1969 in Journal of Symbolic Logic

Authors: Layman E. Allen

Classifying model-theoretic properties

JOURNAL ARTICLE published September 2008 in Journal of Symbolic Logic

Authors: Chris J. Conidis

Expansions of the real field by open sets: definability versus interpretability

JOURNAL ARTICLE published December 2010 in The Journal of Symbolic Logic

Authors: Harvey Friedman | Krzysztof Kurdyka | Chris Miller | Patrick Speissegger

Π11 Borel sets

JOURNAL ARTICLE published September 1989 in Journal of Symbolic Logic

Authors: Alexander S. Kechris | David Marker | Ramez L. Sami

Reducts of (C, +, ·) which contain +

JOURNAL ARTICLE published September 1990 in Journal of Symbolic Logic

Authors: D. Marker | A. Pillay

ON RESURRECTION AXIOMS

JOURNAL ARTICLE published June 2015 in The Journal of Symbolic Logic

Authors: KONSTANTINOS TSAPROUNIS

Term extraction and Ramsey's theorem for pairs

JOURNAL ARTICLE published September 2012 in The Journal of Symbolic Logic

Authors: Alexander P. Kreuzer | Ulrich Kohlenbach

The classification of small types of rankω, Part I

JOURNAL ARTICLE published December 2001 in Journal of Symbolic Logic

Authors: Steven Buechler | Colleen Hoover

Modules with few types over a hereditary noetherian prime ring

JOURNAL ARTICLE published March 2001 in Journal of Symbolic Logic

Authors: Vera Puninskaya

Interpretability over peano arithmetic

JOURNAL ARTICLE published December 1999 in Journal of Symbolic Logic

Authors: Claes Strannegård

A note onCM-triviality and the geometry of forking

JOURNAL ARTICLE published March 2000 in Journal of Symbolic Logic

Authors: Anand Pillay

A characterization of ML in many-sorted arithmetic with conditional application

JOURNAL ARTICLE published September 1992 in Journal of Symbolic Logic

Authors: M. D. G. Swaen

The undecidability of the DA-unification problem

JOURNAL ARTICLE published June 1989 in Journal of Symbolic Logic

Authors: J. Siekmann | P. Szabó

Meeting of the Association for Symbolic Logic, New York, 1974

JOURNAL ARTICLE published June 1975 in Journal of Symbolic Logic

Authors: P. C. Gilmore | Donald Martin | Elliott Mendelson