Separating fragments of wlem, lpo, and mp

&
Journal of Symbolic Logic 81 (4):1315-1343 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2016.38

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,894

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

A continuity principle, a version of Baire's theorem and a boundedness principle.Hajime Ishihara & Peter Schuster - 2008 - Journal of Symbolic Logic 73 (4):1354-1360.
The characterization Problem for the medium logic MP'&MF'.Li Xiang - 1990 - Journal of Symbolic Logic 55 (4):414.
Jon Barwise, Matt Kaufmann, and Michael Makkai. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 , pp. 171–224. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
Menachem Magidor and Jerome Malitz. Compact extensions of L . Annals of mathematical logic, vol. 11 , pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L. The journal of symbolic logic, vol. 44 , pp. 507–521. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
On axiomatizing fragments.C. Smorynski - 1977 - Journal of Symbolic Logic 42 (4):530-544.
Fragments of first order logic, I: Universal horn logic.George F. McNulty - 1977 - Journal of Symbolic Logic 42 (2):221-237.
A Modular Bisimulation Characterisation for Fragments of Hybrid Logic.Guillermo Badia, Daniel Găină, Alexander Knapp, Tomasz Kowalski & Martin Wirsing - forthcoming - Bulletin of Symbolic Logic:1-24.
Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic, vol. 65 , pp. 1223–1240. [REVIEW]Lev Beklemishev - 2002 - Bulletin of Symbolic Logic 8 (4):533-534.
Embedding first order predicate logic in fragments of intuitionistic logic.M. H. Löb - 1976 - Journal of Symbolic Logic 41 (4):705-718.

Analytics

Added to PP
2017-04-24

Downloads
27 (#925,784)

6 months
2 (#1,371,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Measure theory and weak König's lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.

View all 11 references / Add more references