The Q-consistency of "F"22"

Notre Dame Journal of Formal Logic 18:117 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887826

Links

PhilArchive



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

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

The consistency of arithmetic.Storrs McCall - manuscript
The ${\bf Q}$-consistency of ${\cal F}_{22}$.Jonathan P. Seldin - 1977 - Notre Dame Journal of Formal Logic 18 (1):117-127.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
The Single-minded Pursuit of Consistency and its Weakness.Walter Carnielli - 2011 - Studia Logica 97 (1):81 - 100.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Possibility is not consistency.Alexander R. Pruss - 2015 - Philosophical Studies 172 (9):2341-2348.
Implications of behavioral consistency in dynamic choice under uncertainty.Valentino Dardanoni - 1990 - Theory and Decision 29 (3):223-234.
A Consistency Challenge for Moral and Religious Beliefs.Scott Aikin - 2009 - Teaching Philosophy 32 (2):127-151.
Re-Examining the Role of Consistency: The Cornerstone, not Simply an Important Factor.Patrice Terrier - 1998 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 4.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
Truth and Consistency.Jan Woleński - 2010 - Axiomathes 20 (2-3):347-355.
When to defer to supermajority testimony — and when not.Christian List - 2014 - In Jennifer Lackey (ed.), Essays in Collective Epistemology. Oxford University Press. pp. 240-249.
Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.

Analytics

Added to PP
2015-02-04

Downloads
3 (#1,706,418)

6 months
3 (#967,057)

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

G‐Stratification is Equivalent to F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8‐10):141-150.
G_‐Stratification is Equivalent to _F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8-10):141-150.
Progress report on generalized functionality.Jonathan P. Seldin - 1979 - Annals of Mathematical Logic 17 (1):29.

Add more citations

References found in this work

No references found.

Add more references