Large transitive models in local ZFC Athanassios Tzouvaras OriginalPaper 10 December 2013 Pages: 233 - 260
Monotone operators on Gödel logic Oliver FaschingMatthias Baaz OriginalPaper 08 January 2014 Pages: 261 - 284
Coverings by open cells Mário J. EdmundoPantelis E. EleftheriouLuca Prelli OriginalPaper 29 January 2014 Pages: 307 - 325
On axiom schemes for T-provably \({\Delta_{1}}\) formulas A. Cordón-FrancoA. Fernández-MargaritF. F. Lara-Martín OriginalPaper 24 January 2014 Pages: 327 - 349
Rank-into-rank hypotheses and the failure of GCH Vincenzo DimonteSy-David Friedman OriginalPaper 29 January 2014 Pages: 351 - 366
Forcing Magidor iteration over a core model below \({0^{\P}}\) Omer Ben-Neria OriginalPaper 29 March 2014 Pages: 367 - 384
The polytopologies of transfinite provability logic David Fernández-Duque OriginalPaper 20 February 2014 Pages: 385 - 431
Tame properties of sets and functions definable in weakly o-minimal structures Jafar S. EivazlooSomayyeh Tari OriginalPaper 18 February 2014 Pages: 433 - 447
Resurrection axioms and uplifting cardinals Joel David HamkinsThomas A. Johnstone OriginalPaper 25 February 2014 Pages: 463 - 485