Counting Siblings in Universal Theories

Journal of Symbolic Logic 87 (3):1130-1155 (2022)
  Copy   BIBTEX

Abstract

We show that if a countable structure M in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph _0}$ many structures are bi-embeddable with N. The proof proceeds by a case division based on mutual algebraicity.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

What Grounds Special Treatment Between Siblings?Marcus William Hunt - 2020 - Etikk I Praksis - Nordic Journal of Applied Ethics 14 (1):67-83.
What Grounds Special Treatment Between Siblings?Marcus William Hunt - 2020 - Etikk I Praksis - Nordic Journal of Applied Ethics 14 (1):67-83.
Counting as a Type of Measuring.David Liebesman - 2016 - Philosophers' Imprint 16.
Approximate counting by hashing in bounded arithmetic.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (3):829-860.
Counting Stages.Emanuel Viebahn - 2013 - Australasian Journal of Philosophy 91 (2):311-324.
Cooperation: Among siblings or also among non-siblings?K. Verma & Rashmi Saxena - 2013 - Eubios Journal of Asian and International Bioethics 23 (2):60-62.
Finger counting: The missing tool?Michael Andres, Samuel Di Luca & Mauro Pesenti - 2008 - Behavioral and Brain Sciences 31 (6):642-643.
Counting Pleasures and Pains, and Counting Heads.Michael Quinn - 2011 - Philosophy and Public Issues - Filosofia E Questioni Pubbliche 1 (1):21-27.
Situated Counting.Peter Gärdenfors & Paula Quinon - 2020 - Review of Philosophy and Psychology 12 (4):721-744.
Situated Counting.Peter Gärdenfors & Paula Quinon - 2020 - Review of Philosophy and Psychology 12 (4):1-24.
Counting functions.Fred Johnson - 1992 - Notre Dame Journal of Formal Logic 33 (4):567-568.

Analytics

Added to PP
2022-04-08

Downloads
10 (#1,217,423)

6 months
6 (#582,229)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mutual algebraicity and cellularity.Samuel Braunfeld & Michael C. Laskowski - 2022 - Archive for Mathematical Logic 61 (5):841-857.

Add more citations

References found in this work

Equimorphy: the case of chains.C. Laflamme, M. Pouzet & R. Woodrow - 2017 - Archive for Mathematical Logic 56 (7-8):811-829.
Countable structures of given age.H. D. Macpherson, M. Pouzet & R. E. Woodrow - 1992 - Journal of Symbolic Logic 57 (3):992-1010.

View all 6 references / Add more references