Pages that link to "Item:Q5207556"
From MaRDI portal
The following pages link to CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556):
Displaying 5 items.
- Enriched regular theories (Q2301998) (← links)
- (Q4347425) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)
- A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC (Q5881259) (← links)
- Towards constructivising the Freyd-Mitchell embedding theorem (Q6634616) (← links)