On the share of closed IL formulas which are also in GL Vedran ČačićVjekoslav Kovač OriginalPaper 23 June 2015 Pages: 741 - 767
On the complexity of finding falsifying assignments for Herbrand disjunctions Pavel Pudlák OriginalPaper 30 June 2015 Pages: 769 - 783
A logic of graded attributes Radim BelohlavekVilem Vychodil OriginalPaper 10 July 2015 Pages: 785 - 802
Strongly unbounded and strongly dominating sets of reals generalized Michal Dečo OriginalPaper 08 July 2015 Pages: 825 - 838
Some principles weaker than Markov’s principle Makoto FujiwaraHajime IshiharaTakako Nemoto OriginalPaper 08 September 2015 Pages: 861 - 870
PAC learning, VC dimension, and the arithmetic hierarchy Wesley Calvert OriginalPaper 07 September 2015 Pages: 871 - 883
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two Mohsen Khani OriginalPaper 08 September 2015 Pages: 885 - 898
Ramsey-type graph coloring and diagonal non-computability Ludovic Patey OriginalPaper 21 September 2015 Pages: 899 - 914
Dividing and weak quasi-dimensions in arbitrary theories Isaac GoldbringHenry Towsner OriginalPaper 26 September 2015 Pages: 915 - 920
Normalization proof for Peano Arithmetic Annika Siders OriginalPaper 13 October 2015 Pages: 921 - 940
Some properties of r-maximal sets and Q 1,N -reducibility R. Sh. Omanadze OriginalPaper 13 October 2015 Pages: 941 - 959
Indestructibility properties of remarkable cardinals Yong ChengVictoria Gitman OriginalPaper 15 October 2015 Pages: 961 - 984