nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abelian p-groups and the Halting problem
|
Downey, Rodney |
|
2016 |
|
11 |
p. 1123-1138 16 p. |
artikel |
2 |
A constructive analysis of learning in Peano Arithmetic
|
Aschieri, Federico |
|
2012 |
|
11 |
p. 1448-1470 23 p. |
artikel |
3 |
A constructive version of Tarski's geometry
|
Beeson, Michael |
|
2015 |
|
11 |
p. 1199-1273 75 p. |
artikel |
4 |
A cut-free sequent system for two-dimensional modal logic, and why it matters
|
Restall, Greg |
|
2012 |
|
11 |
p. 1611-1623 13 p. |
artikel |
5 |
A game semantics for disjunctive logic programming
|
Tsouanas, Thanos |
|
2013 |
|
11 |
p. 1144-1175 32 p. |
artikel |
6 |
Algorithmically random series and Brownian motion
|
Potgieter, Paul |
|
2018 |
|
11 |
p. 1210-1226 |
artikel |
7 |
A microscopic approach to Souslin-tree constructions, Part I
|
Brodsky, Ari Meir |
|
2017 |
|
11 |
p. 1949-2007 59 p. |
artikel |
8 |
A representation theorem for measurable relation algebras
|
Givant, Steven |
|
2018 |
|
11 |
p. 1117-1189 |
artikel |
9 |
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
|
Berger, Josef |
|
2016 |
|
11 |
p. 1161-1170 10 p. |
artikel |
10 |
A strict implication calculus for compact Hausdorff spaces
|
Bezhanishvili, G. |
|
2019 |
|
11 |
p. |
artikel |
11 |
Axiomatizing first-order consequences in dependence logic
|
Kontinen, Juha |
|
2013 |
|
11 |
p. 1101-1117 17 p. |
artikel |
12 |
Building independence relations in abstract elementary classes
|
Vasey, Sebastien |
|
2016 |
|
11 |
p. 1029-1092 64 p. |
artikel |
13 |
Categoricity in multiuniversal classes
|
Ackerman, Nathanael |
|
2019 |
|
11 |
p. |
artikel |
14 |
Category-theoretic aspects of abstract elementary classes
|
Lieberman, Michael J. |
|
2011 |
|
11 |
p. 903-915 13 p. |
artikel |
15 |
Characterization of NIP theories by ordered graph-indiscernibles
|
Scow, Lynn |
|
2012 |
|
11 |
p. 1624-1641 18 p. |
artikel |
16 |
Classes and truths in set theory
|
Fujimoto, Kentaro |
|
2012 |
|
11 |
p. 1484-1523 40 p. |
artikel |
17 |
Classical predicative logic-enriched type theories
|
Adams, Robin |
|
2010 |
|
11 |
p. 1315-1345 31 p. |
artikel |
18 |
Classical proof forestry
|
Heijltjes, Willem |
|
2010 |
|
11 |
p. 1346-1366 21 p. |
artikel |
19 |
Clustered cell decomposition in P-minimal structures
|
Chambille, Saskia |
|
2017 |
|
11 |
p. 2050-2086 37 p. |
artikel |
20 |
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle
|
Walsh, Sean |
|
2012 |
|
11 |
p. 1679-1709 31 p. |
artikel |
21 |
Completeness and partial soundness results for intersection and union typing for λ ¯ μ μ ̃
|
van Bakel, Steffen |
|
2010 |
|
11 |
p. 1400-1430 31 p. |
artikel |
22 |
Computably enumerable sets below random sets
|
Nies, André |
|
2012 |
|
11 |
p. 1596-1610 15 p. |
artikel |
23 |
Contents
|
|
|
2010 |
|
11 |
p. iv- 1 p. |
artikel |
24 |
Contents
|
|
|
2013 |
|
11 |
p. iv- 1 p. |
artikel |
25 |
Contents
|
|
|
2012 |
|
11 |
p. iv- 1 p. |
artikel |
26 |
Corrigendum to “Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements” [Ann. Pure Appl. Logic 170 (2019) 673–698]
|
Scowcroft, Philip |
|
2019 |
|
11 |
p. |
artikel |
27 |
Covers of Abelian varieties as analytic Zariski structures
|
Gavrilovich, Misha |
|
2012 |
|
11 |
p. 1524-1548 25 p. |
artikel |
28 |
Degrees bounding principles and universal instances in reverse mathematics
|
Patey, Ludovic |
|
2015 |
|
11 |
p. 1165-1185 21 p. |
artikel |
29 |
Delimited control operators prove Double-negation Shift
|
Ilik, Danko |
|
2012 |
|
11 |
p. 1549-1559 11 p. |
artikel |
30 |
Determinacy in third order arithmetic
|
Hachtman, Sherwood |
|
2017 |
|
11 |
p. 2008-2021 14 p. |
artikel |
31 |
Dimension spectra of random subfractals of self-similar fractals
|
Gu, Xiaoyang |
|
2014 |
|
11 |
p. 1707-1726 20 p. |
artikel |
32 |
Editorial Board
|
|
|
2014 |
|
11 |
p. IFC- 1 p. |
artikel |
33 |
Editorial Board
|
|
|
2016 |
|
11 |
p. IFC- 1 p. |
artikel |
34 |
Editorial Board
|
|
|
2018 |
|
11 |
p. ii |
artikel |
35 |
Editorial Board
|
|
|
2015 |
|
11 |
p. IFC- 1 p. |
artikel |
36 |
Editorial Board
|
|
|
2013 |
|
11 |
p. IFC- 1 p. |
artikel |
37 |
Editorial Board
|
|
|
2019 |
|
11 |
p. |
artikel |
38 |
Equilibrium points of an AND–OR tree: Under constraints on probability
|
Suzuki, Toshio |
|
2015 |
|
11 |
p. 1150-1164 15 p. |
artikel |
39 |
Exponentially closed fields and the conjecture on intersections with tori
|
Kirby, Jonathan |
|
2014 |
|
11 |
p. 1680-1706 27 p. |
artikel |
40 |
First order logic without equality on relativized semantics
|
Banerjee, Amitayu |
|
2018 |
|
11 |
p. 1227-1242 |
artikel |
41 |
Foreword
|
Abramsky, Samson |
|
2013 |
|
11 |
p. 1037- 1 p. |
artikel |
42 |
Foreword
|
Baaz, Matthias |
|
2012 |
|
11 |
p. 1447- 1 p. |
artikel |
43 |
Fragility and indestructibility II
|
Unger, Spencer |
|
2015 |
|
11 |
p. 1110-1122 13 p. |
artikel |
44 |
Fraïssé sequences: category-theoretic approach to universal homogeneous structures
|
Kubiś, Wiesław |
|
2014 |
|
11 |
p. 1755-1811 57 p. |
artikel |
45 |
Full abstraction for Reduced ML
|
Murawski, Andrzej S. |
|
2013 |
|
11 |
p. 1118-1143 26 p. |
artikel |
46 |
Gödel functional interpretation and weak compactness
|
Kohlenbach, Ulrich |
|
2012 |
|
11 |
p. 1560-1579 20 p. |
artikel |
47 |
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
|
Sharpe, I. |
|
2011 |
|
11 |
p. 863-902 40 p. |
artikel |
48 |
Groups elementarily equivalent to a free nilpotent group of finite rank
|
Myasnikov, Alexei G. |
|
2011 |
|
11 |
p. 916-933 18 p. |
artikel |
49 |
Guessing models and generalized Laver diamond
|
Viale, Matteo |
|
2012 |
|
11 |
p. 1660-1678 19 p. |
artikel |
50 |
Imperative programs as proofs via game semantics
|
Churchill, Martin |
|
2013 |
|
11 |
p. 1038-1078 41 p. |
artikel |
51 |
Independence, order, and the interaction of ultrafilters and theories
|
Malliaris, M.E. |
|
2012 |
|
11 |
p. 1580-1595 16 p. |
artikel |
52 |
Inhabitation of polymorphic and existential types
|
Tatsuta, Makoto |
|
2010 |
|
11 |
p. 1390-1399 10 p. |
artikel |
53 |
Introducing article numbering to Annals of Pure and Applied Logic
|
Raneri, Giovanni |
|
2019 |
|
11 |
p. |
artikel |
54 |
Kripke models for classical logic
|
Ilik, Danko |
|
2010 |
|
11 |
p. 1367-1378 12 p. |
artikel |
55 |
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
|
Coecke, Bob |
|
2013 |
|
11 |
p. 1079-1100 22 p. |
artikel |
56 |
Large cardinals need not be large in HOD
|
Cheng, Yong |
|
2015 |
|
11 |
p. 1186-1198 13 p. |
artikel |
57 |
Light Dialectica revisited
|
Hernest, Mircea-Dan |
|
2010 |
|
11 |
p. 1379-1389 11 p. |
artikel |
58 |
Measure, randomness and sublocales
|
Simpson, Alex |
|
2012 |
|
11 |
p. 1642-1659 18 p. |
artikel |
59 |
Minimal first-order structures
|
Tanović, Predrag |
|
2011 |
|
11 |
p. 948-957 10 p. |
artikel |
60 |
Monadic second-order properties of very sparse random graphs
|
Ostrovsky, L.B. |
|
2017 |
|
11 |
p. 2087-2101 15 p. |
artikel |
61 |
Multi-posets in algebraic logic, group theory, and non-commutative topology
|
Rump, Wolfgang |
|
2016 |
|
11 |
p. 1139-1160 22 p. |
artikel |
62 |
Non decomposable connectives of linear logic
|
Maieli, Roberto |
|
2019 |
|
11 |
p. |
artikel |
63 |
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
|
Hill, Cameron Donnay |
|
2016 |
|
11 |
p. 1093-1122 30 p. |
artikel |
64 |
Preface
|
van Bakel, Steffen |
|
2010 |
|
11 |
p. 1313-1314 2 p. |
artikel |
65 |
Projective wellorders and mad families with large continuum
|
Fischer, Vera |
|
2011 |
|
11 |
p. 853-862 10 p. |
artikel |
66 |
Ramsey type properties of ideals
|
Hrušák, M. |
|
2017 |
|
11 |
p. 2022-2049 28 p. |
artikel |
67 |
Some supplements to Feferman–Vaught related to the model theory of adeles
|
Derakhshan, Jamshid |
|
2014 |
|
11 |
p. 1639-1679 41 p. |
artikel |
68 |
Template iterations with non-definable ccc forcing notions
|
Mejía, Diego A. |
|
2015 |
|
11 |
p. 1071-1109 39 p. |
artikel |
69 |
The combinatorial essence of supercompactness
|
Weiß, Christoph |
|
2012 |
|
11 |
p. 1710-1717 8 p. |
artikel |
70 |
The equivalence of bar recursion and open recursion
|
Powell, Thomas |
|
2014 |
|
11 |
p. 1727-1754 28 p. |
artikel |
71 |
The provably terminating operations of the subsystem PETJ of explicit mathematics
|
Probst, D. |
|
2011 |
|
11 |
p. 934-947 14 p. |
artikel |
72 |
The semi-weak square principle
|
Levine, Maxwell |
|
2019 |
|
11 |
p. |
artikel |
73 |
The strength of compactness in Computability Theory and Nonstandard Analysis
|
Normann, Dag |
|
2019 |
|
11 |
p. |
artikel |
74 |
Topological inductive definitions
|
Curi, Giovanni |
|
2012 |
|
11 |
p. 1471-1483 13 p. |
artikel |
75 |
Uniform interpolation and the existence of sequent calculi
|
Iemhoff, Rosalie |
|
2019 |
|
11 |
p. |
artikel |
76 |
Vaught's conjecture for weakly o-minimal theories of convexity rank 1
|
Alibek, A. |
|
2018 |
|
11 |
p. 1190-1209 |
artikel |
77 |
Why Y-c.c.
|
Chodounský, David |
|
2015 |
|
11 |
p. 1123-1149 27 p. |
artikel |