## Interpretability logic (1990)

### Cached

### Download Links

by
Albert Visser

Venue: | Mathematical Logic, Proceedings of the 1988 Heyting Conference |

Citations: | 32 - 9 self |

### BibTeX

@INPROCEEDINGS{Visser90interpretabilitylogic,

author = {Albert Visser},

title = {Interpretability logic},

booktitle = {Mathematical Logic, Proceedings of the 1988 Heyting Conference},

year = {1990},

pages = {307--359},

publisher = {Plenum Press}

}

### Years of Citing Articles

### OpenURL

### Abstract

Interpretations are much used in metamathematics. The first application that comes to mind is their use in reductive Hilbert-style programs. Think of the kind of program proposed by Simpson, Feferman or Nelson (see Simpson[1988], Feferman[1988], Nelson[1986]). Here they serve to compare the strength of theories, or better to prove