Infinitary Logic: In Memoriam Carol Karp
Infinitary Logic: In Memoriam Carol Karp A Collection of Papers by Various Authors / [electronic resource] :
A Collection of Papers by Varoius Authors
edited by David W. Kueker.
- IX, 208 p. online resource.
- Lecture Notes in Mathematics, 492 0075-8434 ; .
- Lecture Notes in Mathematics, 492 .
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.
9783540379492
10.1007/BFb0081118 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
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.
9783540379492
10.1007/BFb0081118 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3