No CrossRef data available.
Article contents
ON CATEGORICITY IN SUCCESSIVE CARDINALS
Published online by Cambridge University Press: 20 July 2020
Abstract
We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal
$\mathbb {L}_{\omega _1, \omega }$
sentence categorical on an end segment of cardinals below
$\beth _\omega $
must be categorical also everywhere above
$\beth _\omega $
. This is done without any additional model-theoretic hypotheses (such as amalgamation or arbitrarily large models) and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.
- Type
- Article
- Information
- Copyright
- © The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1015.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1016.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1017.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1018.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1019.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1020.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1021.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1022.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1023.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20220612125420425-0313:S0022481220000250:S0022481220000250_inline1024.png?pub-status=live)