On a problem of MacDowell and Specker

Journal of Symbolic Logic 45 (3):612-622 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273426

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

Quantum mechanics: From realism to intuitionism.Ronnie Hermens - unknown
A model of peano arithmetic with no elementary end extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
Logical Reflections On the Kochen-Specker Theorem.John L. Bell - unknown
Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Itamar Pitowsky - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
The preferred-basis problem and the quantum mechanics of everything.Jeffrey A. Barrett - 2005 - British Journal for the Philosophy of Science 56 (2):199-220.
Dualität.E. Specker - 1958 - Dialectica 12 (3):451.
A topos perspective on the kochen-Specker theorem: III. Von Neumann algebras as the base category.John Hamilton, Chris Isham & Jeremy Butterfield - unknown
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.

Analytics

Added to PP
2009-01-28

Downloads
14 (#983,512)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computability in structures representing a Scott set.Alex M. McAllister - 2001 - Archive for Mathematical Logic 40 (3):147-165.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.

Add more references