The following pages link to (Q3511020):
Displayed 3 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)