We are excited to announce that the repository will soon undergo an upgrade, featuring a new look and feel along with several enhanced features to improve your experience. Please be on the lookout for further updates and announcements regarding the launch date. We appreciate your support and look forward to unveiling the improved platform soon.
dc.contributor.author | Moraschini, Tommaso![]() |
|
dc.contributor.author | Wannenburg, Johann Joubert![]() |
|
dc.contributor.author | Yamamoto, Kentaro![]() |
|
dc.date.accessioned | 2024-10-02T07:04:18Z | |
dc.date.available | 2024-10-02T07:04:18Z | |
dc.date.issued | 2024 | |
dc.description.abstract | We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of Łoś’s Theorem restricted to positive formulas, as well as the following variant of the Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers. | en_US |
dc.description.department | Mathematics and Applied Mathematics | en_US |
dc.description.librarian | hj2024 | en_US |
dc.description.sdg | None | en_US |
dc.description.sponsorship | The Beatriz Galindo grant funded by the Ministry of Science and Innovation of Spain; the project Supporting the internationalization of the Institute of Computer Science of the Czech Academy of Sciences funded by the Operational Programme Research, Development and Education of the Ministry of Education, Youth and Sports of the Czech Republic and the EU. | en_US |
dc.description.uri | http://journals.cambridge.org/JSL | en_US |
dc.identifier.citation | Moraschini, T., Wannenburg, J. & Yamamoto, K. Elementary equivalence in positive logic via prime products. The Journal of Symbolic Logic. Published online 2023:1-18. doi:10.1017/jsl.2023.50. | en_US |
dc.identifier.issn | 0022-4812 (print) | |
dc.identifier.issn | 1943-5886 (online) | |
dc.identifier.other | 10.1017/jsl.2023.50 | |
dc.identifier.uri | http://hdl.handle.net/2263/98433 | |
dc.language.iso | en | en_US |
dc.publisher | Cambridge University Press | en_US |
dc.rights | © The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic. | en_US |
dc.subject | H-inductive theory | en_US |
dc.subject | Positively existentially closed model | en_US |
dc.subject | Prime product | en_US |
dc.subject | Positive model theory | en_US |
dc.subject | Keisler isomorphism theorem | en_US |
dc.title | Elementary equivalence in positive logic via prime products | en_US |
dc.type | Preprint Article | en_US |