activity
20202023
most citedVery large set axioms over constructive set theories

3 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

math.LO2022

Constructing the Constructible Universe Constructively

Richard Matthews, Michael Rathjen

We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the univer…

math.LO2022★ 3 cited

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…