typo
ToDo
In Kripke-Joyal-Semantik fehlten top und bottom.
Bemerkung, wann Sh(X) boolsch ist
Kann man mit der Topossprache Sätze beweisen, die man ohne sie nicht beweisen könnte?
Inhaltlicher Fehler in Beschreibung einer Übersetzung int. --> klass.
Absatz zum Quantor für eindeutige Existenz
Wieso man beim Nachweis von "X \subseteq Y" keine Fallunterscheidung benötigt.
konsistent "Aussage" statt "Formel"
Inhaltlicher typo: Friedmans Trick falsch wiedergegeben.
Explizites Beispiel für die dynamischen Methoden
Zitate geprüft
Absatz zu Markovs Regel ausformuliert
typo