On the independence of B from I, C, W, K 1′, and Karpenko's formula X

Bulletin of the Section of Logic 23:96-97 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
A Remark on Independence Results for Sharply Bounded Arithmetic.Jan Johannsen - 1998 - Mathematical Logic Quarterly 44 (4):568-570.
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Independence in Operator Algebras.StanisŁaw Goldstein, Andrzej Łuczak & Ivan F. Wilde - 1999 - Foundations of Physics 29 (1):79-89.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Review: Timothy Smiley, The Independence of Connectives. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):250-251.
De A et B, de leur indépendance logique, et de ce qu'ils n'ont aucun contenu factuel commun.Peter Roeper & Hugues Leblanc - 1997 - Dialogue 36 (1):137-.
On the axiomatization of finitek-frames.Fabio Bellissima & Massimo Mirolli - 1983 - Studia Logica 42 (4):383 - 388.
On the [mathematical formula]-cub game on [mathematical formula] and [mathematical formula].Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
Logical independence in quantum logic.Miklós Rédei - 1995 - Foundations of Physics 25 (3):411-422.
Uniqueness of normal proofs of minimal formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
A Model‐Theoretic Property of Sharply Bounded Formulae, with some Applications.Jan Johannsen - 1998 - Mathematical Logic Quarterly 44 (2):205-215.

Analytics

Added to PP
2014-01-21

Downloads
16 (#883,649)

6 months
3 (#992,474)

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

No references found.

Add more references