Results 31 to 40 of about 48 (48)
Some of the next articles are maybe not open access.
Near coherence of filters. III. A simplified consistency proof.
Notre Dame Journal of Formal Logic, 1989Andreas Blass, Saharon Shelah
exaly
ω1 and -ω1 may be the only minimal uncountable linear orders
Michigan Mathematical Journal, 2007Justin Tatch Moore
exaly
Some independence results related to the Kurepa tree.
Notre Dame Journal of Formal Logic, 1991Renling Jin
exaly
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.
Notre Dame Journal of Formal Logic, 1986Andreas Blass
exaly
The theory of homogeneous simple types as a second-order logic.
Notre Dame Journal of Formal Logic, 1979Nino B Cocchiarella
exaly
The tightness about sequential fans and combinatorial properties
Journal of the Mathematical Society of Japan, 1997Katsuya Eda
exaly
Consistency of Menas' conjecture
Journal of the Mathematical Society of Japan, 1990Yo Matsubara
exaly