Author: Wojciech Aleksander Wołoszyn

I am a DPhil student in Mathematics at the University of Oxford. My academic interests revolve around the philosophy of foundations of mathematics in the context of V and the multiverse debate. Currently, I am mostly preoccupied with research on modal model theory - an emerging field in mathematical logic. My academic advisers are Professor Joel David Hamkins (University of Notre Dame), Professor Ehud Hrushovski, and Professor W. Hugh Woodin (Harvard University). Previously, I was a Recognised Student in Philosophy at the University of Oxford, under Professor Hamkins's supervision.

The Ultimate Supercompactness Measure—Logic Advanced CLass, University of Oxford, June 2024

This will be a talk for the Logic Advanced Class at the Mathematical Institute, University of Oxford. The topic concerns the extension of the axiom of determinacy as well as the axiom . It will take place on the 13th of June 2024 at 11 AM in the lecture room C3. Abstract. Solovay defined the […]

Securing SEV VMs with SGX Enclaves: Flexible Remote Attestation Protocol

It has been some time since I last updated the readers on my scientific endeavors in confidential computing. Though quiet here, I was not sitting idle. I am excited to share that my joint research effort Flexible Remote Attestation of pre-SNP SEV VMs using SGX Enclaves, with with Pedro Antonino, Senior Research Scientist at The […]

Grz.2 is Complete for Finite Boolean Algebras.

I present Grz.2 is complete for Finite Boolean Algebras, a draft of my upcoming paper on the subject of modal logic and Kripke semantics. In this work, I provide an accessible exposition of the Grzegorczyk axiom and give a new characterization of the modal logic Grz.2.I provide a new interpretation of the Grzegorczyk axiom and […]

Precisely how to determine the modal validities of groups

Allow me to present a preview to my upcoming research article Modal group theory, a portion of which relates to a recent publication titled The modal logic of abelian groups, authored by Sören Berger, Alexander Christensen Block, and Benedikt Löwe. Namely, the authors posed the following question. What are the propositional modal validities of group […]

Resurrection Principles

This will be a talk for the IMS Logic Summer School at the National University of Singapore on the June 26th 2023. Abstract. The resurrection principle (RP) asserts that, in each forcing extension, all true assertions with real parameters retain their forceability throughout subsequent forcing extensions. This property exhibits deep connections with set-theoretic geology, the […]

The modal theory of the category of sets, June 2023

This will be a talk for the Logic Advanced Class at the Andrew Wiles Building in Oxford on the June 5th 2023 at 11 am local time. This presentation will draw upon a circulating preprint of my forthcoming article bearing the same title. The project has been supervised by Joel David Hamkins. I shall explore […]

The tension between large cardinals and resurrection, Cambridge March 2023

I shall give a short talk about the tension between the strong axioms of infinity and resurrection. This time at the Set Theory in The United Kingdom meeting at the University of Cambridge, 7th of March 2023. If time permits, I shall sketch a proof of the failure of necessary -resurrection. Abstract. Usuba proved that the […]

Modal logic: a unified approach to category theory and model theory

I shall give the third in a series of talks on the unification of different parts of mathematics at the University of Gdańsk. The talk shall take place on 13 December 2022 at 10:15 local time in room 130, Faculty of Mathematics, Physics, and Informatics. Abstract. One of the central incentives of the rise of […]

On the failure of identity

Last week, I had the great pleasure of attending a master class tutorial on potentialism, a part of a two-day event with Joel David Hamkins dedicated to the decennial anniversary of his multiverse theory held at the University of Konstanz. One of the topics discussed was a situation where one or more individuals cease to […]

Modal model theory, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022

I shall talk about modal model theory at the IMS Graduate Summer School in Logic at the National University of Singapore, 19th of July 2022. This will include results from my collaborative work with Joel David Hamkins as well as some new results of mine, from projects supervised by Joel David Hamkins. (Edited on March […]