Sentences true in all constructive models

Journal of Symbolic Logic 25 (1):39-53 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964336

Other Versions

reprint Vaught, R. L. (1966) "Sentences True in all Constructive Models". Journal of Symbolic Logic 31(1):132-132

Links

PhilArchive

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

Null Sentences.Philip Hugly & Charles Sayward - 1999 - Iyyun, The Jewish Philosophical Quarterly 48:23-36.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Questions.Peter Hanks - 2006 - In Donald M. Borchert, Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
Which Quantifiers Are Logical?Solomon Feferman - unknown
Singular Truth-Ascriptions: Truth-Operator vs. Truth-Predicate.Dolf Rami - manuscript
Constructive Empiricism and the Closure Problem.Guillaume Rochefort-Maranda - 2011 - Erkenntnis 75 (1):61-65.

Analytics

Added to PP
2009-01-28

Downloads
371 (#127,162)

6 months
49 (#172,667)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.
The logical study of science.Johan van Benthem - 1982 - Synthese 51 (3):431-472.
Theorie Der Numerierungen III.Ju L. Erš - 1977 - Mathematical Logic Quarterly 23 (19-24):289-371.
Incompleteness in intuitionistic metamathematics.David Charles McCarty - 1991 - Notre Dame Journal of Formal Logic 32 (3):323-358.

View all 12 citations / Add more citations

References found in this work

Add more references