Jamie J. Wannenburg

dblp:261/9970 · also Johann J. Wannenburg · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
2since 2021 · last 2025
0000-0002-2025-533XORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 2 since 2021
YearPublicationVenuePosition
2025 Elementary Equivalence in positive Logic via Prime Products
abstract
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.
Tommaso Moraschini, Jamie J. Wannenburg, Kentarô Yamamoto
J. Symb. Log.2
2022 Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests
Igor Sedlár, Jamie J. Wannenburg
WoLLIC2
2020 Epimorphism surjectivity in varieties of Heyting algebras
Tommaso Moraschini, Jamie J. Wannenburg
Ann. Pure Appl. Log.2