The following pages link to (Q4440913):
Displayed 4 items.
- The ultra-quasi-metrically injective hull of a \(T_0\)-ultra-quasi-metric space (Q395666) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)