VLDB 2026 Research / reviewers in the wild / expert
Jamie J. Wannenburg
dblp:261/9970 · also Johann J. Wannenburg
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Elementary Equivalence in positive Logic via Prime ProductsabstractAbstract 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 |
WoLLIC | 2 |
| 2020 | Epimorphism surjectivity in varieties of Heyting algebras
Tommaso Moraschini, Jamie J. Wannenburg |
Ann. Pure Appl. Log. | 2 |