The ${\bf Q}$-consistency of ${\cal F}_{22}$

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

DOI

10.1305/ndjfl/1093887826

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 83,802

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

${\cal K}$ and ${\cal Z}$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (2):295-297.
The consistency of arithmetic.Storrs McCall - manuscript
Local Primitive Causality and the Common Cause Principle in Quantum Field Theory.Miklos Redei & Stephen J. Summers - 2001 - Foundations of Physics 32 (3):335-355.
Why isn't my pocket calculator a thinking thing?Larry Hauser - 1993 - Minds and Machines 3 (1):3-10.
Inner models and ultrafilters in l(r).Itay Neeman - 2007 - Bulletin of Symbolic Logic 13 (1):31-53.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Measuring inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.
A Consistency Challenge for Moral and Religious Beliefs.Scott Aikin - 2009 - Teaching Philosophy 32 (2):127-151.
Truth and Consistency.Jan Woleński - 2010 - Axiomathes 20 (2-3):347-355.
Inequivalent representations of geometric relation algebras.Steven Givant - 2003 - Journal of Symbolic Logic 68 (1):267-310.
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.

Analytics

Added to PP
2010-08-24

Downloads
20 (#595,926)

6 months
1 (#497,632)

Historical graph of downloads
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.
Consistency notions in illative combinatory logic.M. W. Bunder - 1977 - Journal of Symbolic Logic 42 (4):527-529.
G‐Stratification is Equivalent to F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8‐10):141-150.

Add more citations

References found in this work

No references found.

Add more references