There are not exactly five objects

DOI10.2307/2274177MaRDI QIDQ3703864zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Counting Objects
• Five discordant permutations
• Три семейства $5$-конфигураций
• Five space-filling polyhedra
• Five spheres in mutual contact

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3703864)