The following pages link to (Q4376080):
Displaying 5 items.
- Local consistency of arithmetic with an ''attainability'' predicate (Q1075323) (← links)
- Predicate logics of expressively strong theories (Q1582839) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Rules and arithmetics (Q5937848) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)