Count(ifq) does not imply Count

Annals of Pure and Applied Logic 90 (1-3):1-56 (1997)
  Copy   BIBTEX

Abstract

It is shown that the elementary principles Count and Count are logically independent in the system IΔ0 of Bounded Arithmetic. More specifically it is shown that Count implies Count exactly when each prime factor in p is a factor in q

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(97)00029-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Count(q) versus the pigeon-hole principle.Søren Riis - 1997 - Archive for Mathematical Logic 36 (3):157-188.
We Do Not Count by Identity.David Liebesman - 2015 - Australasian Journal of Philosophy 93 (1):21-42.
Mass nouns, Count nouns and Non-count nouns.Henry Laycock - 2005 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier.
'Mass nouns, Count nouns and Non-count nouns'.Henry Laycock - 2005 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier.
The Collected Works of Count Rumford. Benjamin Thompson, Count Rumford, Sanborn C. BrownThe Collected Works of Count Rumford. Volume II: Practical Applications of Heat.The Collected Works of Count Rumford. Volume III: Devices and Techniques.The Collected Works of Count Rumford. Volume IV: Light and Armament.The Collected Works of Count Rumford. Volume V: Public Institutions. [REVIEW]Robert Morris Jr - 1971 - Isis 62 (3):412-413.
Introduction to 'Mass and Count in Linguistics, Philosophy, and Cognitive Science'.Friederike Moltmann - 2020 - In Mass and Count in Linguistics, Philosophy, and Cognitive Science. Amsterdam: Benjamins.
The Interpretation of Functional Heads: Using Comparatives to Explore the Mass/Count Distinction: Articles.Alan C. Bale & David Barner - 2009 - Journal of Semantics 26 (3):217-252.
When Does Potentiality Count? A Comment on Lockwood.R. M. Hare - 1988 - Bioethics 2 (3):214-226.
Does vagueness underlie the mass/count distinction?David Liebesman - 2016 - Synthese 193 (1):185-203.
Good people are not like good knives.Poppy Mankowitz - forthcoming - Noûs.

Analytics

Added to PP
2014-01-16

Downloads
14 (#264,824)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Søren Riis
Roskilde University

Citations of this work

The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.

Add more citations

References found in this work

Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
¹1-formulae on finite structures.M. Ajtai - 1983 - Annals of Pure and Applied Logic 24 (1):1.

View all 7 references / Add more references