2 papers
math.LO2025
On BPI in Symmetric Extensions Part 1
Brian Ransom
Historically, proofs of in models without choice have relied on a contradiction framework that was introduced by Halpern. We introduce the filter extension property…
math.GT2023
Belted sum decompositions of fully augmented links
Porter Morgan, Brian Ransom, Dean Spyropoulos +2
Given two orientable, cusped hyperbolic 3-manifolds containing certain thrice-punctured spheres, Adams gave a diagrammatic definition for a third such manifold, their belted sum. F…