A Forcing Approach to Strict‐II11 Reflection and Strict‐II11 = ∑01

Mathematical Logic Quarterly 24 (25‐30):467-479 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242516

Other Versions

reprint Stark, W. Richard (1978) "A Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(25-30):467-479

Links

PhilArchive



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

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

Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.
An independence result for (II11-CA)+BI.Wilfried Buchholz - 1987 - Annals of Pure and Applied Logic 33 (C):131-155.
Strict $${\Pi^1_1}$$ -reflection in bounded arithmetic.António M. Fernandes - 2010 - Archive for Mathematical Logic 49 (1):17-34.
Weak Logics with Strict Implication.Giovanna Corsi - 1987 - Mathematical Logic Quarterly 33 (5):389-406.
A remark on the strict order property.A. H. Lachlan - 1975 - Mathematical Logic Quarterly 21 (1):69-70.
Strict Mittag-Leffler modules.Pedro Antonio Guil Asensio, M. C. Izurdiaga, Philipp Rothmaler & Blas Torrecillas Jover - 2011 - Mathematical Logic Quarterly 57 (6):566-570.
Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Mathematical Logic Quarterly 27 (13‐14):201-212.
Bounded distributive lattices with strict implication.Sergio A. Celani & Ramón Jansana Ferrer - 2005 - Mathematical Logic Quarterly 51 (3):219.

Analytics

Added to PP
2013-11-24

Downloads
12 (#1,375,203)

6 months
5 (#1,056,575)

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

Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.

Add more references