4 citations · 5 across the 10 of their papers we have counts for
11 papers
Vopěnka's Principle without Choice: Preservation under Symmetric Extensions
Tom de Groot, Wojciech Aleksander Wołoszyn
We give a detailed proof that every set-sized symmetric extension of a model of again satisfies , where is formulat…
Modal group theory: homomorphisms
Wojciech Aleksander Wołoszyn
I investigate modal group theory for arbitrary homomorphisms. Possibility is interpreted by the existence of a group homomorphism out of the given group, so the semantics is govern…
Modal group theory
Wojciech Aleksander Wołoszyn
I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton…
The modal theory of linear orders
Wojciech Aleksander Wołoszyn
I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show th…
The modal theory of the category of sets
Wojciech Aleksander Wołoszyn
We classify the propositional modal validities arising from the category of sets under its natural classes of morphisms. The resulting validities depend on the morphism class, the…
Grzegorczyk Logic Unlocked
Wojciech Aleksander Wołoszyn
The article offers a fresh perspective on Grzegorczyk logic Grz, introducing a simplified axiomatization and extending the analysis to its natural modal extensions, Grz.2 and Grz.3…
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
Pedro Antonino, Ante Derek, Wojciech Aleksander Wołoszyn
We propose a protocol that explores a synergy between two TEE implementations: it brings SGX-like remote attestation to SEV VMs. We use the notion of a \emph{trusted guest owner},…
Guardian: symbolic validation of orderliness in SGX enclaves
Pedro Antonino, Wojciech Aleksander Wołoszyn, A. W. Roscoe
Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can ru…
Modal model theory
Joel David Hamkins, Wojciech Aleksander Wołoszyn
We introduce the subject of modal model theory, where one studies a mathematical structure within a class of similar structures under an extension concept that gives rise to mathem…
Differentiability of continuous functions in terms of Haar-smallness
Adam Kwela, Wojciech Aleksander Wołoszyn
One of the classical results concerning differentiability of continuous functions states that the set of somewhere differentiable functions (i.e., functions which ar…
Ideal-like properties of generalized microscopic sets
Klaudiusz Czudek, Adam Kwela, Nikodem Mrożek +1
We show that not every family of generalized microscopic sets forms an ideal. Moreover, we prove that some of these families have some weaker additivity properties and some of them…