Elementary equivalence in positive logic via prime products

dc.contributor.authorMoraschini, Tommaso
dc.contributor.authorWannenburg, Johann Joubert
dc.contributor.authorYamamoto, Kentaro
dc.contributor.emailjamie.wannenburg@up.ac.zaen_US
dc.date.accessioned2024-10-02T07:04:18Z
dc.date.available2024-10-02T07:04:18Z
dc.date.issued2024
dc.description.abstractWe 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.departmentMathematics and Applied Mathematicsen_US
dc.description.librarianhj2024en_US
dc.description.sdgNoneen_US
dc.description.sponsorshipThe 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.urihttp://journals.cambridge.org/JSLen_US
dc.identifier.citationMoraschini, 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.issn0022-4812 (print)
dc.identifier.issn1943-5886 (online)
dc.identifier.other10.1017/jsl.2023.50
dc.identifier.urihttp://hdl.handle.net/2263/98433
dc.language.isoenen_US
dc.publisherCambridge University Pressen_US
dc.rights© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic.en_US
dc.subjectH-inductive theoryen_US
dc.subjectPositively existentially closed modelen_US
dc.subjectPrime producten_US
dc.subjectPositive model theoryen_US
dc.subjectKeisler isomorphism theoremen_US
dc.titleElementary equivalence in positive logic via prime productsen_US
dc.typePreprint Articleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Moraschini_Elementary_2024.pdf
Size:
223.88 KB
Format:
Adobe Portable Document Format
Description:
Preprint Article

License bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: