Pages that link to "Item:Q2631646"

The following pages link to Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646):

Displaying 5 items.

• General proof theory: introduction (Q2631640) (← links)
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)