Pages that link to "Item:Q3864508"
From MaRDI portal
The following pages link to Experimental logics and Π<sub>3</sub><sup>0</sup> theories (Q3864508):
Displaying 6 items.
- Epistemic entrenchment and arithmetical hierarchy (Q685538) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Logic and probabilistic systems (Q1915126) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS (Q5741615) (← links)
