Questions marquées «model-theory»

1
Dans quelle mesure les mathématiques des réels peuvent-elles être appliquées aux réels calculables?
Existe-t-il un théorème général qui indiquerait, avec une désinfection appropriée, que la plupart des résultats connus concernant l'utilisation de nombres réels peuvent réellement être utilisés lorsque l'on considère uniquement les réels calculables? Ou existe-t-il une caractérisation appropriée des résultats qui restent valables lorsque l'on considère uniquement les réels calculables? Une …

1
Comment montrer qu'un type dans un système avec des types dépendants n'est pas habité (ie formule non prouvable)?
Pour les systèmes sans types dépendants, comme le système de type Hindley-Milner, les types correspondent à des formules de logique intuitionniste. Là, nous savons que ses modèles sont des algèbres de Heyting, et en particulier, pour réfuter une formule, nous pouvons nous limiter à une algèbre de Heyting où chaque …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.