Some axioms for constructive analysis Joan Rand MoschovakisGaryfallia Vafeiadou OriginalPaper 21 March 2012 Pages: 443 - 459
A method for finding new sets of axioms for classes of semigroups João AraújoJanusz Konieczny OriginalPaper 24 March 2012 Pages: 461 - 474
How to assign ordinal numbers to combinatory terms with polymorphic types William R. Stirton OriginalPaper 15 April 2012 Pages: 475 - 501
Compactness notions for an apartness space Douglas S. Bridges OriginalPaper 27 March 2012 Pages: 517 - 534
Proving properties of matrices over \({\mathbb{Z}_{2}}\) Michael Soltys OriginalPaper 25 March 2012 Pages: 535 - 551
The tree property and the failure of SCH at uncountable cofinality Dima Sinapova OriginalPaper 04 May 2012 Pages: 553 - 562
Polish group actions and effectivity Barbara Majcher-Iwanow OriginalPaper 12 May 2012 Pages: 563 - 573
Notes on the partition property of \({\mathcal{P}_\kappa\lambda}\) Yoshihiro AbeToshimichi Usuba OriginalPaper 23 May 2012 Pages: 575 - 589
On superstable generic structures Koichiro IkedaHirotaka Kikyo OriginalPaper 03 May 2012 Pages: 591 - 600
Strong tree properties for two successive cardinals Laura Fontanella OriginalPaper 04 May 2012 Pages: 601 - 620
Independence of higher Kurepa hypotheses Sy-David FriedmanMohammad Golshani EditorialNotes 13 May 2012 Pages: 621 - 633
Fragility and indestructibility of the tree property Spencer Unger OriginalPaper 09 May 2012 Pages: 635 - 645
The automorphism group of a resplendent model James H. Schmerl OriginalPaper 17 May 2012 Pages: 647 - 649
Computing maximal chains Alberto MarconeAntonio MontalbánRichard A. Shore OriginalPaper 24 May 2012 Pages: 651 - 660
Subspaces of \({\mathbb{Q}}\) whose d-logics do not have the FMP Guram BezhanishviliJoel Lucero-Bryan OriginalPaper 29 May 2012 Pages: 661 - 670