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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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 Forcing Approach to Strict-II11 Reflection and Strict-II11 = ∑01.W. Richard Stark - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):467-479.
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.
On Weak Theories of Sets and Classes which are Based on Strict ∏math image-REFLECTION.Andrea Cantini - 1985 - Mathematical Logic Quarterly 31 (21-23):321-332.
Strict $${\Pi^1_1}$$ -reflection in bounded arithmetic.António M. Fernandes - 2010 - Archive for Mathematical Logic 49 (1):17-34.
An independence result for (II11-CA)+BI.Wilfried Buchholz - 1987 - Annals of Pure and Applied Logic 33 (C):131-155.
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
5 (#1,560,281)

6 months
3 (#1,045,430)

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