The following pages link to (Q4417913):
Displaying 4 items.
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848) (← links)
- FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
- Implementing fragments of ZFC within an r.e. Universe (Q4684351) (← links)