A Construction for Models of Consistent Systems

Journal of Symbolic Logic 16 (4):273-274 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267917

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 , pp. 87–110.Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):273-274.
L. Novak Gál. A note on direct products. The journal of symbolic logic, vol. 23 no. 1 , pp. 1–6.G. Hasenjaeger - 1971 - Journal of Symbolic Logic 36 (3):541.
Bunder’s paradox.Michael Caie - 2020 - Review of Symbolic Logic 13 (4):829-844.
On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
A consistent propositional logic without any finite models.C. G. McKay - 1985 - Journal of Symbolic Logic 50 (1):38-41.
Jensen's □ principles and the Novak number of partially ordered sets.Boban Veličković - 1986 - Journal of Symbolic Logic 51 (1):47-58.
Construction of models from groups of permutations.Miroslav Benda - 1975 - Journal of Symbolic Logic 40 (3):383-388.
Representing L-Domains as Information Systems.Dieter Spreen - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 501-540.

Analytics

Added to PP
2015-02-05

Downloads
11 (#1,424,918)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.

Add more citations

References found in this work

No references found.

Add more references