Ordre de Cotolerant

Dans la logique mathématique , un ordre cotolerant est un ordre

$T\_1,\; \backslash \; ldots,\; T\_n$

des théories formelles tel qu'il y a à prolongements conformés $S\_1,\; \backslash \; ldots,\; S\_n$ de de ces théories avec chaque $S\_\; \{i+1\}$ est le cointerpretable dans $S\_i$. Cotolerance généralise naturellement des ordres des théories aux arbres des théories.

Ce concept, ainsi que son concept duel de la tolérance , a été présenté par Japaridze en 1992, qui a également montré que, pour le Peano arithmétique et toutes les théories plus fortes avec des axiomatisations efficaces, tolérance est équivalente au $\backslash \; Sigma\_1$-consistency.

Voir également

Interpretability
Cointerpretability
Logique d'Interpretability de

.

Random links:

Daniel J. Evans | KPresenter | Défi Wright | Katya Derevko | Betsey Wright | Secuencia_de_Cotolerant

© 2007-2009 encyclopediefrancaise.com; le texte de cet article est distribué sous les termes de GFDL; en.wikipedia.org