Journal: J. Mathematical Logic

Volume 11, Issue 2

0 -- 0W. Hugh Woodin. Suitable Extender Models II: beyond ω-Huge

Volume 11, Issue 1

0 -- 0Bjørn Kjos-Hanssen. A Strong Law of computationally Weak Subsets
0 -- 0Mirna Dzamonja, Jouko Väänänen. Chain Models, Trees of singular Cardinality and Dynamic EF-Games
0 -- 0Menachem Magidor, Jouko Väänänen. On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic
0 -- 0John Krueger, Ernest Schimmerling. An equiconsistency Result on Partial squares
0 -- 0Jan Krajícek. On the Proof Complexity of the Nisan-Wigderson Generator based on a Hard NP ∩ coNP function