There are not exactly five objects

DOI10.2307/2274177zbMath0581.03004OpenAlexW2087151289MaRDI QIDQ3703864

Andreas Blass

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274177

zbMATH Keywords

prime numberHorn sentenceuniverse of discourse

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

Horn sentences excluding a prime ⋮ An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”

This page was built for publication: There are not exactly five objects