Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Very large set axioms over constructive set theories
Hanul Jeon, Richard Matthews
We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on and . Most previously studied lar…
math.LO2024
A Guide to Krivine Realizability for Set Theory
Richard Matthews
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs. Traditionally, these models only satisfy i…