Theories with few non-algebraic types over models, and their decompositions
HTML articles powered by AMS MathViewer
- by Samuel Braunfeld and Michael C. Laskowski
- Proc. Amer. Math. Soc. 150 (2022), 4021-4026
- DOI: https://doi.org/10.1090/proc/15956
- Published electronically: April 14, 2022
- PDF | Request permission
Abstract:
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theory $T$ is mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality.References
- J. T. Baldwin and S. Shelah, Second-order quantifiers and the complexity of theories, Notre Dame J. Formal Logic 26 (1985), no. 3, 229–303. MR 796638, DOI 10.1305/ndjfl/1093870870
- Samuel Braunfeld and Michael C Laskowski, Mutual algebraicity and cellularity, Preprint, arXiv:1911.06303, 2019.
- Samuel Braunfeld and Michael C. Laskowski, Characterizations of monadic NIP, Trans. Amer. Math. Soc. Ser. B 8 (2021), 948–970. MR 4334194, DOI 10.1090/btran/94
- Samuel Braunfeld and Michael C. Laskowski, Worst case expansions of complete theories, Preprint, arXiv:2107.10920, 2021.
- Bradd Hart, Ehud Hrushovski, and Michael C. Laskowski, The uncountable spectra of countable theories, Ann. of Math. (2) 152 (2000), no. 1, 207–257. MR 1792295, DOI 10.2307/2661382
- A. H. Lachlan, $\aleph _0$-categorical tree-decomposable structures, J. Symbolic Logic 57 (1992), no. 2, 501–514. MR 1169186, DOI 10.2307/2275284
- Michael C. Laskowski, Mutually algebraic structures and expansions by predicates, J. Symbolic Logic 78 (2013), no. 1, 185–194. MR 3087069, DOI 10.2178/jsl.7801120
- Michael C. Laskowski and Caroline A. Terry, Uniformly bounded arrays and mutually algebraic structures, Notre Dame J. Form. Log. 61 (2020), no. 2, 265–282. MR 4092535, DOI 10.1215/00294527-2020-0004
- Saharon Shelah and Steven Buechler, On the existence of regular types, Ann. Pure Appl. Logic 45 (1989), no. 3, 277–308. MR 1032833, DOI 10.1016/0168-0072(89)90039-0
Bibliographic Information
- Samuel Braunfeld
- Affiliation: Faculty of Mathematics and Physics, Computer Science Institute, Charles University, Praha 11800, Czechia
- MR Author ID: 1197349
- Michael C. Laskowski
- Affiliation: Department of Mathematics, University of Maryland College Park, College Park, Maryland 20742
- MR Author ID: 110500
- Received by editor(s): September 18, 2021
- Received by editor(s) in revised form: December 14, 2021
- Published electronically: April 14, 2022
- Additional Notes: The second author was partially supported by NSF grant DMS-1855789
- Communicated by: Vera Fischer
- © Copyright 2022 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 150 (2022), 4021-4026
- MSC (2020): Primary 03C45
- DOI: https://doi.org/10.1090/proc/15956
- MathSciNet review: 4446248