Logic

Authors and titles for July 1996

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

Title: Looking from the inside and from the outside

Alessandra Carbone, S. Semmes

Subjects: Logic (math.LO)

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

Title: Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

Alessandra Carbone, S. Semmes

Subjects: Logic (math.LO)

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

Title: Randomness and semigenericity

John T. Baldwin, Saharon Shelah

Journal-ref: Trans. Amer. Math. Soc. 349 (1997), 1359-1376

Subjects: Logic (math.LO)

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

Title: Historic iteration with aleph_epsilon-support

Saharon Shelah

Subjects: Logic (math.LO)

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

Title: DOP and FCP in generic structures

John T. Baldwin, Saharon Shelah

Subjects: Logic (math.LO)