Pages that link to "Item:Q1222647"
From MaRDI portal
The following pages link to Experimental logics and \(\Delta^0_2\)-theories (Q1222647):
Displaying 11 items.
- A logic for trial and error classifiers (Q302216) (← links)
- Epistemic entrenchment and arithmetical hierarchy (Q685538) (← links)
- A topological characterization for closed sets under polar duality in \({\mathbb{Q}{}}^ n\) (Q1174458) (← links)
- Representations of unbounded optimization problems as integer programs (Q1252154) (← links)
- Self-reference and incompleteness in a non-monotonic setting (Q1332147) (← links)
- Logic and probabilistic systems (Q1915126) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- On the complexity of models of arithmetic (Q3669417) (← links)
- Experimental logics and Π<sub>3</sub><sup>0</sup> theories (Q3864508) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
