There are not exactly five objects

Journal of Symbolic Logic 49 (2):467-469 (1984)
  Copy   BIBTEX

Abstract

We exhibit a Horn sentence expressing the statement of the title; the construction generalizes to arbitrary primes in place of five

Categories

Keywords

Reprint years

DOI

10.2307/2274177

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

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

An algorithm to determine, for any prime p, a polynomial-sized horn sentence which expresses "the cardinality is not p".Sauro Tulipani - 1985 - Journal of Symbolic Logic 50 (4):1062-1064.
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 , pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 , pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 , pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 , pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 , pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
Review: Andreas Blass, Haim Judah, Simple Cardinal Characteristics of the Continuum. [REVIEW]Heike Mildenberger - 2002 - Bulletin of Symbolic Logic 8 (4):552-553.
Review: Andreas Blass, Near Coherence of Filters, I: Cofinal Equivalence of Models of Arithmetic. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (1):350-350.
The Rudin-Blass ordering of ultrafilters.Claude Laflamme & Jian-Ping Zhu - 1998 - Journal of Symbolic Logic 63 (2):584-592.
Andreas Blass. Near coherence of filters, 1: cofinal equivalence of models of arithmetic. Notre Dame journal of formal logic, vol. 27 , pp. 579–591. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (1):350.
Andreas Blass. Selective ultrafilters and homogeneity. Annals of pure and applied logic, vol. 38 , pp. 215–255. - Claude Laflamme. Forcing with filters and complete combinatorics. Annals of pure and applied logic, vol. 42 , pp. 125–163. [REVIEW]Peter J. Nyikos - 1991 - Journal of Symbolic Logic 56 (4):1490-1492.
Completeness of the Gödel–Löb Provability Logic for the Filter Sequence of Normal Measures.Mohammad Golshani & Reihane Zoghifard - 2024 - Journal of Symbolic Logic 89 (1):163-174.
Reasoning with Arbitrary Objects.John Macnamara - 1988 - Journal of Symbolic Logic 53 (1):305.

Analytics

Added to PP
2009-01-28

Downloads
38 (#599,063)

6 months
14 (#239,352)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Horn Sentences of Small Size in Identity Theory.G. Marongiu & S. Tulipani - 1986 - Mathematical Logic Quarterly 32 (25-30):439-444.

Add more citations

References found in this work

No references found.

Add more references