Appendix 7. The Independence Proof

Journal of Symbolic Logic 47 (2):451-451 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273167

Links

PhilArchive



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

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: G. Gratzer, W. A. Lampe, Appendix 7. The Independence Proof. [REVIEW]Heinrich Werner - 1982 - Journal of Symbolic Logic 47 (2):451-451.
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
A direct independence proof of Buchholz's Hydra Game on finite labeled trees.Masahiro Hamano & Mitsuhiro Okada - 1998 - Archive for Mathematical Logic 37 (2):67-89.
A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra Game.Masahiro Hamano & Mitsuhiro Okada - 1997 - Mathematical Logic Quarterly 43 (1):103-120.
Appendix: Proof of Elementary Equivalence.[author unknown] - 2006 - Journal of Philosophy 103 (3):159-162.
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?Jamie Tappenden - 2000 - Notre Dame Journal of Formal Logic 41 (3):271-315.
A Computer Tutor for Formal & Applied Logic: A Proposal to NCR Corporation.Preston K. Covey - unknown
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
Nonlocality Is a Nonsequitur.David Atkinson - unknown
Independence in Operator Algebras.StanisŁaw Goldstein, Andrzej Łuczak & Ivan F. Wilde - 1999 - Foundations of Physics 29 (1):79-89.
A Proof of Independence.Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):138-138.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
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-.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,697,950)

6 months
3 (#987,746)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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