German Sortenlogik Cited by user Ernsts on 09 Mar 2018 Sortenlogik entspringt der Intention, das (mengentheoretische) Universum (Grundmenge, Allklasse, bis hin zu einem Grothendieck-Universum) nicht als eine homogene…
German Signatur (Modelltheorie) Cited by user Ernsts on 03 Mar 2018 In der mathematischen Logik besteht eine Signatur aus der Menge der Symbole, die in der betrachteten Sprache zu den üblichen, rein logischen Symbolen hinzukommt, und…