Pages that link to "Item:Q5466549"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466549):
Displaying 9 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- Some intuitionistic equivalents of classical principles for degree 2 formulas (Q2368911) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
