Sentences with finite models

Mathematical Logic Quarterly 21 (1):401-404 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19750210153

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On First-Order Sentences without Finite Models.Marko Djordjević - 2004 - Journal of Symbolic Logic 69 (2):329 - 339.
J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams. What is mathematical logic?Oxford University Press, London, Oxford, and New York, 1972, ix + 82 pp. [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241.
On the Equivalence for Non‐Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.Ronald Harrop - 1971 - Mathematical Logic Quarterly 17 (1):137-143.
Arithmetic of Divisibility in Finite Models.Andrzej Mostowski - 2004 - Mathematical Logic Quarterly 50:169-174.
The Cardinality of the set of Dedekind Finite Cardinals in Fraenkel‐Mostowski Models.Arthur L. Rubin & Jean E. Rubin - 1974 - Mathematical Logic Quarterly 20 (31-33):517-528.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.
A Method For Proving The Non-existence Of Finite Characteristic Models For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):169-172.
On the Non‐Existence of Finite Characteristic Models for Some Classes of Implicational Calculi.Biswambhar Pahi - 1974 - Mathematical Logic Quarterly 20 (8-12):113-119.
On superstable groups with residual properties.Abderezak Houcine - 2007 - Mathematical Logic Quarterly 53 (1):19-26.
On representing concepts in finite models.Marcin Mostowski - 2001 - Mathematical Logic Quarterly 47 (4):513-523.

Analytics

Added to PP
2013-11-24

Downloads
21 (#993,219)

6 months
4 (#1,232,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First-Order Friendliness.Guillermo Badia & David Makinson - 2024 - Review of Symbolic Logic 17 (4):1055-1069.

Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.

Add more references