Cointerpretability
Definition of the concept.
Giorgi Japaridze's Publications
Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.
Interpretability
A definition of the concept.
Interpretability Logic
Wikipedia article.
Interpretability Logic
Open Encyclopedia article.
Provability Logic
Wikipedia article.
Provability Logic
Open Encyclopedia article.
Tolerance
Definition of the concept of a tolerant sequence of theories.
[Mozilla Einstein]
Last update:
May 29, 2015 at 11:54:06 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional