Skip to content

Possibly♢Necessary

Wojciech Aleksander Wołoszyn

About me

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.

Follow me on Twitter

My Tweets

Tags

actuality Alexander Christensen Block axiom of determinacy Benedikt Löwe Bill Roscoe Blockhouse Technology Limited British Logic Colloquium category of sets confidential computing Douglas Blue Durham University forcing formal verification Goldberg inner models Joel David Hamkins junior logic seminar Kripke model large cardinals modal group theory modal logic modal model theory model theory Multiverse National University of Singapore NUS Pedro Antonino potentialism Recognised Student remote attestation resurrection axiom set-theoretic geology set-theory set theory Singapore Sören Berger Tamarin prover TBTL The Blockhouse Technology Limited trusted execution environment University of Cambridge University of Oxford Usuba V=Ultimate L W. Hugh Woodin

Tag: V=Ultimate L

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 […]

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

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 […]

Read More The tension between large cardinals and resurrection, Cambridge March 2023
Proudly powered by WordPress | Theme: Intergalactic 2 by WordPress.com.