Pages that link to "Item:Q1407581"
From MaRDI portal
The following pages link to Universes in metapredicative analysis (Q1407581):
Displaying 7 items.
- Universics: a theory of universes of discourse for metamathematics and foundations (Q1650346) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory (Q2747729) (← links)
- RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES (Q2933671) (← links)
- (Q3081647) (← links)
- Universes in explicit mathematics (Q5939842) (← links)