nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A characterization of Σ 1 1 -reflecting ordinals
|
Aguilera, J.P. |
|
|
|
10 |
p. |
artikel |
2 |
A coinductive approach to proof search through typed lambda-calculi
|
Espírito Santo, José |
|
|
|
10 |
p. |
artikel |
3 |
A consistency result on long cardinal sequences
|
Martínez, Juan Carlos |
|
|
|
10 |
p. |
artikel |
4 |
A Lindström theorem for intuitionistic first-order logic
|
Olkhovikov, Grigory |
|
|
|
10 |
p. |
artikel |
5 |
Alternating (In)Dependence-Friendly Logic
|
Bellier, Dylan |
|
|
|
10 |
p. |
artikel |
6 |
A minimal classical sequent calculus free of structural rules
|
Hughes, Dominic |
|
2010 |
|
10 |
p. 1244-1253 10 p. |
artikel |
7 |
An example of an automatic graph of intermediate growth
|
Miasnikov, Alexei |
|
2015 |
|
10 |
p. 1037-1048 12 p. |
artikel |
8 |
A problem of Laczkovich: How dense are set systems with no large independent sets?
|
Komjáth, Péter |
|
2016 |
|
10 |
p. 879-896 18 p. |
artikel |
9 |
A proof-theoretic account of classical principles of truth
|
Leigh, G.E. |
|
2013 |
|
10 |
p. 1009-1024 16 p. |
artikel |
10 |
Borel reductions of profinite actions of SL n ( Z )
|
Coskey, Samuel |
|
2010 |
|
10 |
p. 1270-1279 10 p. |
artikel |
11 |
Burden in Henselian valued fields
|
Touchard, Pierre |
|
|
|
10 |
p. |
artikel |
12 |
Cascades, order, and ultrafilters
|
Starosolski, Andrzej |
|
2014 |
|
10 |
p. 1626-1638 13 p. |
artikel |
13 |
Categorical linearly ordered structures
|
Downey, Rod |
|
2019 |
|
10 |
p. 1243-1255 |
artikel |
14 |
Categories of models of R-mingle
|
Fussner, Wesley |
|
2019 |
|
10 |
p. 1188-1242 |
artikel |
15 |
Ceres in intuitionistic logic
|
Cerna, David |
|
2017 |
|
10 |
p. 1783-1836 |
artikel |
16 |
Classifying singularities up to analytic extensions of scalars is smooth
|
Schoutens, Hans |
|
2011 |
|
10 |
p. 836-852 17 p. |
artikel |
17 |
Club-guessing, stationary reflection, and coloring theorems
|
Eisworth, Todd |
|
2010 |
|
10 |
p. 1216-1243 28 p. |
artikel |
18 |
Club isomorphisms on higher Aronszajn trees
|
Krueger, John |
|
|
|
10 |
p. 1044-1081 |
artikel |
19 |
Combinatorial realizability models of type theory
|
Hofstra, Pieter |
|
2013 |
|
10 |
p. 957-988 32 p. |
artikel |
20 |
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup
|
Block Gorman, Alexi |
|
|
|
10 |
p. |
artikel |
21 |
Completeness and cut-elimination theorems for trilattice logics
|
Kamide, Norihiro |
|
2011 |
|
10 |
p. 816-835 20 p. |
artikel |
22 |
Constructive toposes with countable sums as models of constructive set theory
|
Simpson, Alex |
|
2012 |
|
10 |
p. 1419-1436 18 p. |
artikel |
23 |
Constructivist and structuralist foundations: Bishop’s and Lawvere’s theories of sets
|
Palmgren, Erik |
|
2012 |
|
10 |
p. 1384-1399 16 p. |
artikel |
24 |
Contents
|
|
|
2016 |
|
10 |
p. iv- 1 p. |
artikel |
25 |
Contents
|
|
|
2012 |
|
10 |
p. iv- 1 p. |
artikel |
26 |
Countable partition ordinals
|
Schipperus, Rene |
|
2010 |
|
10 |
p. 1195-1215 21 p. |
artikel |
27 |
Counterfactual and seeing-to-it responsibilities in strategic games
|
Naumov, Pavel |
|
|
|
10 |
p. |
artikel |
28 |
Derived rules for predicative set theory: An application of sheaves
|
van den Berg, Benno |
|
2012 |
|
10 |
p. 1367-1383 17 p. |
artikel |
29 |
Diagonal supercompact Radin forcing
|
Ben-Neria, Omer |
|
|
|
10 |
p. |
artikel |
30 |
Duality, non-standard elements, and dynamic properties of r.e. sets
|
Shavrukov, V.Yu. |
|
2016 |
|
10 |
p. 939-981 43 p. |
artikel |
31 |
Editorial Board
|
|
|
2016 |
|
10 |
p. IFC- 1 p. |
artikel |
32 |
Editorial Board
|
|
|
|
|
10 |
p. |
artikel |
33 |
Editorial Board
|
|
|
|
|
10 |
p. ii |
artikel |
34 |
Editorial Board
|
|
|
2015 |
|
10 |
p. IFC- 1 p. |
artikel |
35 |
Editorial Board
|
|
|
2013 |
|
10 |
p. IFC- 1 p. |
artikel |
36 |
Editorial Board
|
|
|
2014 |
|
10 |
p. IFC- 1 p. |
artikel |
37 |
Editorial Board
|
|
|
2019 |
|
10 |
p. ii |
artikel |
38 |
Editorial Board
|
|
|
|
|
10 |
p. |
artikel |
39 |
Editorial Board
|
|
|
|
|
10 |
p. |
artikel |
40 |
Editorial Board
|
|
|
|
|
10 |
p. |
artikel |
41 |
Elementary geometric local–global principles for fields
|
Fehm, Arno |
|
2013 |
|
10 |
p. 989-1008 20 p. |
artikel |
42 |
Embedding causal team languages into predicate logic
|
Barbero, Fausto |
|
|
|
10 |
p. |
artikel |
43 |
Enumerating teams in first-order team logics
|
Haak, Anselm |
|
|
|
10 |
p. |
artikel |
44 |
Equivalents of the finitary non-deterministic inductive definitions
|
Hirata, Ayana |
|
2019 |
|
10 |
p. 1256-1272 |
artikel |
45 |
Finding a field in a Zariski-like structure
|
Kangas, Kaisa |
|
2017 |
|
10 |
p. 1837-1865 |
artikel |
46 |
Fixed point theorems for precomplete numberings
|
Barendregt, Henk |
|
2019 |
|
10 |
p. 1151-1161 |
artikel |
47 |
Foundational implications of the Inner Model Hypothesis
|
Arrigoni, Tatiana |
|
2012 |
|
10 |
p. 1360-1366 7 p. |
artikel |
48 |
From the weak to the strong existence property
|
Rathjen, Michael |
|
2012 |
|
10 |
p. 1400-1418 19 p. |
artikel |
49 |
Games with 1-backtracking
|
Berardi, Stefano |
|
2010 |
|
10 |
p. 1254-1269 16 p. |
artikel |
50 |
Games with finitely generated structures
|
Krawczyk, Adam |
|
|
|
10 |
p. |
artikel |
51 |
Global square and mutual stationarity at the ℵ n
|
Koepke, P. |
|
2011 |
|
10 |
p. 787-806 20 p. |
artikel |
52 |
Guessing more sets
|
Matet, Pierre |
|
2015 |
|
10 |
p. 953-990 38 p. |
artikel |
53 |
Higher Kurtz randomness
|
Kjos-Hanssen, Bjørn |
|
2010 |
|
10 |
p. 1280-1290 11 p. |
artikel |
54 |
HOD in natural models of AD +
|
Trang, Nam |
|
2014 |
|
10 |
p. 1533-1556 24 p. |
artikel |
55 |
Imaginaries in bounded pseudo real closed fields
|
Montenegro, Samaria |
|
2017 |
|
10 |
p. 1866-1877 |
artikel |
56 |
Increasing sentences in Simple Type Theory
|
Rouvelas, Panagiotis |
|
2017 |
|
10 |
p. 1902-1926 |
artikel |
57 |
Inquisitive logic as an epistemic logic of knowing how
|
Wang, Haoyu |
|
|
|
10 |
p. |
artikel |
58 |
Introduction
|
Väänänen, Jouko |
|
|
|
10 |
p. |
artikel |
59 |
Intuitionism and the liar paradox
|
Weaver, Nik |
|
2012 |
|
10 |
p. 1437-1445 9 p. |
artikel |
60 |
Iterated team semantics for a hierarchy of informational types
|
Punčochář, Vít |
|
|
|
10 |
p. |
artikel |
61 |
Join-completions of partially ordered algebras
|
Gil-Férez, José |
|
|
|
10 |
p. |
artikel |
62 |
Linearly ordered sets with only one operator have the amalgamation property
|
Lipparini, Paolo |
|
|
|
10 |
p. |
artikel |
63 |
Logic for abstract hoop twist-structures
|
Ghorbani, Shokoofeh |
|
|
|
10 |
p. 981-996 |
artikel |
64 |
Logics of intuitionistic Kripke-Platek set theory
|
Iemhoff, Rosalie |
|
|
|
10 |
p. |
artikel |
65 |
Martin-Löf complexes
|
Awodey, Steve |
|
2013 |
|
10 |
p. 928-956 29 p. |
artikel |
66 |
Martin’s Axiom and embeddings of upper semi-lattices into the Turing degrees
|
Wei, Wang |
|
2010 |
|
10 |
p. 1291-1298 8 p. |
artikel |
67 |
Modal extension of ideal paraconsistent four-valued logic and its subsystem
|
Kamide, Norihiro |
|
|
|
10 |
p. |
artikel |
68 |
Models of Cohen measurability
|
Greenberg, Noam |
|
2014 |
|
10 |
p. 1557-1576 20 p. |
artikel |
69 |
Model theory of special subvarieties and Schanuel-type conjectures
|
Zilber, Boris |
|
2016 |
|
10 |
p. 1000-1028 29 p. |
artikel |
70 |
Natural factors of the Muchnik lattice capturing IPC
|
Kuyper, Rutger |
|
2013 |
|
10 |
p. 1025-1036 12 p. |
artikel |
71 |
Occam bound on lowest complexity of elements
|
Levin, Leonid A. |
|
2016 |
|
10 |
p. 897-900 4 p. |
artikel |
72 |
On constructivity and the Rosser property: a closer look at some Gödelean proofs
|
Salehi, Saeed |
|
|
|
10 |
p. 971-980 |
artikel |
73 |
On definability of team relations with k-invariant atoms
|
Rönnholm, Raine |
|
|
|
10 |
p. |
artikel |
74 |
On elementary logics for quantitative dependencies
|
Hannula, Miika |
|
|
|
10 |
p. |
artikel |
75 |
On equivalence relations generated by Cauchy sequences in countable metric spaces
|
Ding, Longyun |
|
|
|
10 |
p. |
artikel |
76 |
On intermediate inquisitive and dependence logics: An algebraic study
|
Quadrellaro, Davide Emilio |
|
|
|
10 |
p. |
artikel |
77 |
On the Presburger fragment of logics with multiteam semantics
|
Wilke, Richard |
|
|
|
10 |
p. |
artikel |
78 |
On transformations of constant depth propositional proofs
|
Beckmann, Arnold |
|
2019 |
|
10 |
p. 1176-1187 |
artikel |
79 |
Polish metric spaces with fixed distance set
|
Camerlo, Riccardo |
|
|
|
10 |
p. |
artikel |
80 |
Preface
|
Abraham, Uri |
|
2016 |
|
10 |
p. 865-867 3 p. |
artikel |
81 |
Preface
|
Kennedy, Juliette |
|
2012 |
|
10 |
p. 1359- 1 p. |
artikel |
82 |
Quick cut-elimination for strictly positive cuts
|
Arai, Toshiyasu |
|
2011 |
|
10 |
p. 807-815 9 p. |
artikel |
83 |
Relativized Grothendieck topoi
|
Ackerman, Nathanael Leedom |
|
2010 |
|
10 |
p. 1299-1312 14 p. |
artikel |
84 |
Rules with parameters in modal logic II
|
Jeřábek, Emil |
|
|
|
10 |
p. |
artikel |
85 |
Separation logic and logics with team semantics
|
Haase, Darion |
|
|
|
10 |
p. |
artikel |
86 |
Structure and representation of semimodules over inclines
|
Bai, Ruiqi |
|
|
|
10 |
p. |
artikel |
87 |
Super/rosy L k -theories and classes of finite structures
|
Hill, Cameron Donnay |
|
2013 |
|
10 |
p. 907-927 21 p. |
artikel |
88 |
Symbioses between mathematical logic and computer science
|
Blass, Andreas |
|
2016 |
|
10 |
p. 868-878 11 p. |
artikel |
89 |
The automorphism group of the enumeration degrees
|
Soskova, Mariya I. |
|
2016 |
|
10 |
p. 982-999 18 p. |
artikel |
90 |
The Dyck and the Preiss separation uniformly
|
Gregoriades, Vassilios |
|
|
|
10 |
p. 1082-1116 |
artikel |
91 |
The envelope of a pointclass under a local determinacy hypothesis
|
Wilson, Trevor M. |
|
2015 |
|
10 |
p. 991-1018 28 p. |
artikel |
92 |
The Σ1-provability logic of HA
|
Ardeshir, Mohammad |
|
|
|
10 |
p. 997-1043 |
artikel |
93 |
Thin equivalence relations and inner models
|
Schlicht, Philipp |
|
2014 |
|
10 |
p. 1577-1625 49 p. |
artikel |
94 |
Tight stationarity and tree-like scales
|
Chen, William |
|
2015 |
|
10 |
p. 1019-1036 18 p. |
artikel |
95 |
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
|
Hannula, Miika |
|
|
|
10 |
p. |
artikel |
96 |
Turing meets Schanuel
|
Macintyre, Angus |
|
2016 |
|
10 |
p. 901-938 38 p. |
artikel |
97 |
Ultrafilters, finite coproducts and locally connected classifying toposes
|
Garner, Richard |
|
|
|
10 |
p. |
artikel |
98 |
Uniform interpolation and compact congruences
|
van Gool, Samuel J. |
|
2017 |
|
10 |
p. 1927-1948 |
artikel |
99 |
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
|
Albert, Rafael |
|
|
|
10 |
p. |
artikel |
100 |
Universal graphs at ℵ ω 1 + 1
|
Davis, Jacob |
|
2017 |
|
10 |
p. 1878-1901 |
artikel |
101 |
Universality, optimality, and randomness deficiency
|
Hölzl, Rupert |
|
2015 |
|
10 |
p. 1049-1069 21 p. |
artikel |
102 |
Weaker cousins of Ramsey's theorem over a weak base theory
|
Fiori-Carones, Marta |
|
|
|
10 |
p. |
artikel |
103 |
When is scalar multiplication decidable?
|
Hieronymi, Philipp |
|
2019 |
|
10 |
p. 1162-1175 |
artikel |