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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

Review: Jon Barwise, Matt Kaufmann, Michael Makkai, Stationary Logic. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
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.
Fragments of Arithmetic.Wilfried Sieg - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
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.
The finite model property for various fragments of linear logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.

Analytics

Added to PP
2017-04-24

Downloads
21 (#173,985)

6 months
10 (#1,198,792)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
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