
Infinitary Logic
In Memoriam Carol Karp
Herausgegeben: Kueker, D. W.
PAYBACK Punkte
18 °P sammeln!
Back-and-forth arguments and infinitary logics.- Consistency properties for finite quantifier languages.- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages.- On a finiteness condition for infinitary languages.