Pages that link to "Item:Q2631880"
From MaRDI portal
The following pages link to Determinacy and monotone inductive definitions (Q2631880):
Displaying 5 items.
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Identification through Inductive Verification (Q3623838) (← links)
- GAMES AND INDUCTION ON REALS (Q5021933) (← links)
- Monotone recursive definition of predicates and its realizability interpretation (Q5096211) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424863) (← links)