Volume 31, Issue 3 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 31, Issue 3

May 1992

Filter by

Volume:

Sort by

Date published:

New to old Old to new

8 articles in this issue

Sacks forcing, Laver forcing, and Martin's axiom
Haim Judah
Arnold W. Miller
Saharon Shelah
OriginalPaper Pages: 145 - 161
Countable models of 1-based theories
Anand Pillay
OriginalPaper Pages: 163 - 169
Intuitionistic typical ambiguity
Daniel Dzierzgowski
OriginalPaper Pages: 171 - 182
Connected components of graphs and reverse mathematics
Jeffry L. Hirst
OriginalPaper Pages: 183 - 192
Onκ-complete reduced products
Tapani Hyttinen
OriginalPaper Pages: 193 - 199
Some new upper bounds in consistency strength for certain choiceless large cardinal patterns
Arthur W. Apter
OriginalPaper Pages: 201 - 205
The monadic theory of (ω ₂, <) may be complicated
Shmuel Lifsches
Saharon Shelah
OriginalPaper Pages: 207 - 213
Strong counterexamples to Borel hyperdeterminacy
C. Ward Henson
OriginalPaper Pages: 215 - 220