The following pages link to Models and Computability (Q3449303):
Displaying 11 items.
- Computability of homogeneous models (Q998144) (← links)
- A new spectrum of computable models (Q1943912) (← links)
- The epistemic significance of numerals (Q2695028) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Discrete transfinite computation models (Q2906573) (← links)
- Computability, Finiteness and the Standard Model of Arithmetic (Q3295828) (← links)
- (Q3400645) (← links)
- Computational model theory: an overview (Q4210768) (← links)
- (Q4986663) (← links)
- New Computational Paradigms (Q5717043) (← links)
- Model-based computation (Q6061994) (← links)