Pages that link to "Item:Q5207559"
From MaRDI portal
The following pages link to THE IMPLICITLY CONSTRUCTIBLE UNIVERSE (Q5207559):
Displaying 6 items.
- Algebraicity and implicit definability in set theory (Q306841) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- (Q3081647) (← links)
- A Computational Approach to an Alternative Working Environment for the Constructible Universe (Q3091437) (← links)
- A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY (Q5178528) (← links)
- On Russell typicality in set theory (Q5880254) (← links)