Logic

Authors and titles for October 1993

[1] arXiv:math/9310210 [pdf, other]

Title: On the divisible parts of quotient groups

Andreas Blass

Subjects: Logic (math.LO)

[2] arXiv:math/9310211 [pdf, other]

Title: Is game semantics necessary?

Andreas Blass

Subjects: Logic (math.LO)

[3] arXiv:math/9310212 [pdf, other]

Title: How to win some simple iteration games

Alessandro Andretta, John R. Steel

Subjects: Logic (math.LO)

[4] arXiv:math/9310213 [pdf, other]

Title: IST is more than an algorithm to prove ZFC theorems

Vladimir Kanovei

Subjects: Logic (math.LO)

[5] arXiv:math/9310224 [pdf, other]

Title: Examples for Souslin forcing

Haim Judah, Andrzej Rosłanowski, Saharon Shelah

Journal-ref: Fund. Math. 144 (1994), 23--42

Subjects: Logic (math.LO)