Comments for Possibly♢Necessary

Comment on Modal model theory, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022 by Grz.2 is Complete for Finite Boolean Algebras. – Possibly♢Necessary

Grz.2 is Complete for Finite Boolean Algebras. – Possibly♢Necessary — Wed, 20 Mar 2024 22:51:54 +0000

[…] at the beginning of my DPhil at the University of Oxford, I showed that the answer is Grz.2. I presented the result at the National University of Singapore in 2022, and additionally shared some details on […]

Comment on Playing with pebbles on the multiverse by On the failure of identity – Possibly♢Necessary

On the failure of identity – Possibly♢Necessary — Thu, 29 Sep 2022 08:02:09 +0000

[…] with syntax and semantics to date. Instead, I should like to propose a resolution adopted from my work on modal logic with actuality. Ultimately, I aim to convince the reader that the assertion is seldom […]

Comment on Think you have a choice? Vitali’s revenge by k1234567890y

k1234567890y — Sun, 24 Jul 2022 14:44:47 +0000

Also, the partition paradox does seemt to hold for not only the axiom of determinacy, but all axioms in which every set of real numbers is measurable, as the proof itself does not use the axiom of determinacy itself, bu the fact that every set of real number is measurable.

Comment on Think you have a choice? Vitali’s revenge by k1234567890y

k1234567890y — Sun, 24 Jul 2022 14:41:17 +0000

The proof “that the Axiom of Determinacy allows one to partition the real line in such a way that the number of pieces obtained is strictly greater than the amount of all real numbers.” seems to involve something similar to the Vitali set..l

Comment on Think you have a choice? Vitali’s revenge by Jason

Jason — Mon, 12 Oct 2020 22:57:05 +0000

Isn’t the proposition that the Vitali equivalences classes are linearly ordered a consequence of AC? It shows up as Form306 in Howard and Rubin’s Consequences of the Axiom of Choice

Comment on University of Oxford by wrooblasq

wrooblasq — Sun, 06 Jan 2019 20:57:19 +0000

Good luck!