activity
19992025
most citedSquare principles in Pmax extensions

26 citations · 34 across the 21 of their papers we have counts for

collaborators

26 papers

math.LO2025

A model of the Axiom of Determinacy in which every set of reals is universally Baire

Paul B. Larson, Grigor Sargsyan, Trevor Wilson

The consistency of the theory ``every set of reals is universally Baire'' is proved relative to ``there is a cardina…

math.CO2023

Unavoidable structures in infinite tournaments

Alistair Benford, Louis DeBiasio, Paul Larson

We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs , either (i) there is a countably-in…

math.LO2021

Failures of square in Pmax extensions of Chang models

Paul B. Larson, Grigor Sargsyan

We show that the statements and both fail in the extension of a variation of the Chang model introduced by Sargsyan.

cond-mat.mtrl-sci2020

Prediction of Chlorine and Fluorine Crystal Structures at High Pressure Using Symmetry Driven Structure Search with Geometric Constraints

Mark A. Olson, Shefali Bhatia, Paul Larson +1

The high-pressure properties of fluorine and chlorine are not yet well understood because both are highly reactive and volatile elements, which has made conducting diamond anvil ce…

math.LO2020

Universally measurable sets may all be Delta^1_2

Paul B. Larson, Saharon Shelah

We produce a forcing extension of the constructible universe $\bL$ in which every universally measurable set of reals is $\uTDelta^{1}_{2}$, partially answering question CG from Da…

math.CO2019

Choosing between incompatible ideals

Will Brian, Paul B. Larson

Suppose and are proper ideals on some set . We say that and are incompatible if does not generat…