| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A bialgebraic approach to automata and formal language theory
|
Worthington, James
|
|
2012
|
|
7 |
p. 745-762
18 p.
|
artikel
|
| 2 |
Abstract elementary classes stable in ℵ0
|
Shelah, Saharon
|
|
2018
|
|
7 |
p. 565-587
|
artikel
|
| 3 |
A decomposition theorem for neutrices
|
van den Berg, Imme
|
|
2010
|
|
7 |
p. 851-865
15 p.
|
artikel
|
| 4 |
Admissible extensions of subtheories of second order arithmetic
|
Jäger, Gerhard
|
|
|
|
7 |
p.
|
artikel
|
| 5 |
Algebraic properties of the first-order part of a problem
|
Soldà, Giovanni
|
|
|
|
7 |
p.
|
artikel
|
| 6 |
Almost structural completeness; an algebraic approach
|
Dzik, Wojciech
|
|
2016
|
|
7 |
p. 525-556
32 p.
|
artikel
|
| 7 |
A multiplication operation for the hierarchy of norms
|
Block, Alexander C.
|
|
2018
|
|
7 |
p. 656-673
|
artikel
|
| 8 |
Σ 1 0 and Π 1 0 equivalence structures
|
Cenzer, Douglas
|
|
2011
|
|
7 |
p. 490-503
14 p.
|
artikel
|
| 9 |
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI
|
Sato, Kentaro
|
|
|
|
7 |
p.
|
artikel
|
| 10 |
Approachable free subsets and fine structure derived scales
|
Adolf, Dominik
|
|
|
|
7 |
p.
|
artikel
|
| 11 |
A relational semantics for parallelism and non-determinism in a functional setting
|
Bucciarelli, Antonio
|
|
2012
|
|
7 |
p. 918-934
17 p.
|
artikel
|
| 12 |
Arithmetical completeness theorems for monotonic modal logics
|
Kogure, Haruka
|
|
|
|
7 |
p.
|
artikel
|
| 13 |
Beyond Borel-amenability: Scales and superamenable reducibilities
|
Motto Ros, L.
|
|
2010
|
|
7 |
p. 829-836
8 p.
|
artikel
|
| 14 |
Big Ramsey degrees in ultraproducts of finite structures
|
Bartošová, Dana
|
|
|
|
7 |
p.
|
artikel
|
| 15 |
Canonical forking in AECs
|
Boney, Will
|
|
2016
|
|
7 |
p. 590-613
24 p.
|
artikel
|
| 16 |
Canonical signed calculi with multi-ary quantifiers
|
Zamansky, Anna
|
|
2012
|
|
7 |
p. 951-960
10 p.
|
artikel
|
| 17 |
Can you take Komjath's inaccessible away?
|
Lamei Ramandi, Hossein
|
|
|
|
7 |
p.
|
artikel
|
| 18 |
Cardinal characteristics and projective wellorders
|
Fischer, Vera
|
|
2010
|
|
7 |
p. 916-922
7 p.
|
artikel
|
| 19 |
Completeness results for memory logics
|
Areces, Carlos
|
|
2012
|
|
7 |
p. 961-972
12 p.
|
artikel
|
| 20 |
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
|
Paolini, Gianluca
|
|
|
|
7 |
p.
|
artikel
|
| 21 |
Computational complexity for bounded distributive lattices with negation
|
Shkatov, Dmitry
|
|
|
|
7 |
p.
|
artikel
|
| 22 |
Conservativity for logics of justified belief: Two approaches
|
Milnikel, Robert S.
|
|
2012
|
|
7 |
p. 809-819
11 p.
|
artikel
|
| 23 |
Contents
|
|
|
2012
|
|
7 |
p. iv-
1 p.
|
artikel
|
| 24 |
Contents
|
|
|
2011
|
|
7 |
p. iv-
1 p.
|
artikel
|
| 25 |
Continuum many different things: Localisation, anti-localisation and Yorioka ideals
|
Cardona, Miguel A.
|
|
|
|
7 |
p.
|
artikel
|
| 26 |
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice
|
Keremedis, Kyriakos
|
|
|
|
7 |
p.
|
artikel
|
| 27 |
Demuth randomness and computational complexity
|
Kučera, Antonín
|
|
2011
|
|
7 |
p. 504-513
10 p.
|
artikel
|
| 28 |
Dichotomy theorems for countably infinite dimensional analytic hypergraphs
|
Miller, B.D.
|
|
2011
|
|
7 |
p. 561-565
5 p.
|
artikel
|
| 29 |
Dimensions, matroids, and dense pairs of first-order structures
|
Fornasiero, Antongiulio
|
|
2011
|
|
7 |
p. 514-543
30 p.
|
artikel
|
| 30 |
Easton's theorem for the tree property below ℵ ω
|
Stejskalová, Šárka
|
|
|
|
7 |
p.
|
artikel
|
| 31 |
Editorial Board
|
|
|
|
|
7 |
p.
|
artikel
|
| 32 |
Editorial Board
|
|
|
2016
|
|
7 |
p. IFC-
1 p.
|
artikel
|
| 33 |
Editorial Board
|
|
|
2018
|
|
7 |
p. ii
|
artikel
|
| 34 |
Editorial Board
|
|
|
2019
|
|
7 |
p. ii
|
artikel
|
| 35 |
Editorial Board
|
|
|
|
|
7 |
p.
|
artikel
|
| 36 |
Editorial Board
|
|
|
|
|
7 |
p.
|
artikel
|
| 37 |
Editorial Board
|
|
|
|
|
7 |
p.
|
artikel
|
| 38 |
Editorial Board
|
|
|
|
|
7 |
p.
|
artikel
|
| 39 |
Ehrenfeucht–Fraïssé games on ordinals
|
Mwesigye, F.
|
|
2018
|
|
7 |
p. 616-636
|
artikel
|
| 40 |
Elementary differences between the degrees of unsolvability and degrees of compressibility
|
Barmpalias, George
|
|
2010
|
|
7 |
p. 923-934
12 p.
|
artikel
|
| 41 |
Elementary equivalences and accessible functors
|
Beke, T.
|
|
2018
|
|
7 |
p. 674-703
|
artikel
|
| 42 |
Erratum to: “Scott rank of Polish metric spaces” [Ann. Pure Appl. Logic 165 (12) (2014) 1919–1929]
|
Doucha, Michal
|
|
2017
|
|
7 |
p. 1490-
1 p.
|
artikel
|
| 43 |
Expander construction in VNC1
|
Buss, Sam
|
|
|
|
7 |
p.
|
artikel
|
| 44 |
Expansions of real closed fields that introduce no new smooth functions
|
Eleftheriou, Pantelis E.
|
|
|
|
7 |
p.
|
artikel
|
| 45 |
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
|
Wang, Paul
|
|
|
|
7 |
p.
|
artikel
|
| 46 |
Extreme types and extremal models
|
Bagheri, Seyed-Mohammad
|
|
|
|
7 |
p.
|
artikel
|
| 47 |
Filtration-equivalent ℵ 1 -separable abelian groups of cardinality ℵ 1
|
Shelah, Saharon
|
|
2010
|
|
7 |
p. 935-943
9 p.
|
artikel
|
| 48 |
Fixed point theorems on partial randomness
|
Tadaki, K.
|
|
2012
|
|
7 |
p. 763-774
12 p.
|
artikel
|
| 49 |
Forcing absoluteness and regularity properties
|
Ikegami, Daisuke
|
|
2010
|
|
7 |
p. 879-894
16 p.
|
artikel
|
| 50 |
Forcing a □(κ)-like principle to hold at a weakly compact cardinal
|
Cody, Brent
|
|
|
|
7 |
p.
|
artikel
|
| 51 |
Frame definability in finitely valued modal logics
|
Badia, Guillermo
|
|
|
|
7 |
p.
|
artikel
|
| 52 |
From realizability to induction via dependent intersection
|
Stump, Aaron
|
|
2018
|
|
7 |
p. 637-655
|
artikel
|
| 53 |
Games and Scott sentences for positive distances between metric structures
|
Hirvonen, Åsa
|
|
|
|
7 |
p.
|
artikel
|
| 54 |
Generalisations of stationarity, closed and unboundedness, and of Jensen's □
|
Brickhill, H.
|
|
|
|
7 |
p.
|
artikel
|
| 55 |
Generalized independence
|
Hernández-Hernández, Fernando
|
|
|
|
7 |
p.
|
artikel
|
| 56 |
Generating ideals by additive subgroups of rings
|
Krupiński, Krzysztof
|
|
|
|
7 |
p.
|
artikel
|
| 57 |
Global singularization and the failure of SCH
|
Honzik, Radek
|
|
2010
|
|
7 |
p. 895-915
21 p.
|
artikel
|
| 58 |
Global square sequences in extender models
|
Zeman, Martin
|
|
2010
|
|
7 |
p. 956-985
30 p.
|
artikel
|
| 59 |
Induced and higher-dimensional stable independence
|
Lieberman, Michael
|
|
|
|
7 |
p.
|
artikel
|
| 60 |
In the full propositional logic, 5 / 8 of classical tautologies are intuitionistically valid
|
Genitrini, Antoine
|
|
2012
|
|
7 |
p. 875-887
13 p.
|
artikel
|
| 61 |
Justification Logic as a foundation for certifying mobile computation
|
Bonelli, Eduardo
|
|
2012
|
|
7 |
p. 935-950
16 p.
|
artikel
|
| 62 |
L-algebras and three main non-classical logics
|
Rump, Wolfgang
|
|
|
|
7 |
p.
|
artikel
|
| 63 |
Light linear logics with controlled weakening: Expressibility, confluent strong normalization
|
Kanovich, Max
|
|
2012
|
|
7 |
p. 854-874
21 p.
|
artikel
|
| 64 |
Lower complexity bounds in justification logic
|
Buss, Samuel R.
|
|
2012
|
|
7 |
p. 888-905
18 p.
|
artikel
|
| 65 |
Model theoretic dynamics in Galois fashion
|
Hoffmann, Daniel Max
|
|
2019
|
|
7 |
p. 755-804
|
artikel
|
| 66 |
M-separable spaces of functions are productive in the Miller model
|
Repovš, Dušan
|
|
|
|
7 |
p.
|
artikel
|
| 67 |
Neostability in countable homogeneous metric spaces
|
Conant, Gabriel
|
|
2017
|
|
7 |
p. 1442-1471
30 p.
|
artikel
|
| 68 |
New-from-old full dualities via axiomatisation
|
Davey, Brian A.
|
|
2018
|
|
7 |
p. 588-615
|
artikel
|
| 69 |
On guessing generalized clubs at the successors of regulars
|
Rinot, Assaf
|
|
2011
|
|
7 |
p. 566-577
12 p.
|
artikel
|
| 70 |
On lovely pairs of geometric structures
|
Berenstein, Alexander
|
|
2010
|
|
7 |
p. 866-878
13 p.
|
artikel
|
| 71 |
On minimal flows and definable amenability in some distal NIP theories
|
Yao, Ningyuan
|
|
|
|
7 |
p.
|
artikel
|
| 72 |
On the complexity of the Leibniz hierarchy
|
Moraschini, Tommaso
|
|
2019
|
|
7 |
p. 805-824
|
artikel
|
| 73 |
On the relationship between mutual and tight stationarity
|
Chen-Mertens, William
|
|
|
|
7 |
p.
|
artikel
|
| 74 |
Preface
|
Bagaria, Joan
|
|
2011
|
|
7 |
p. 489-
1 p.
|
artikel
|
| 75 |
Preface
|
Artemov, Sergei
|
|
2012
|
|
7 |
p. 743-744
2 p.
|
artikel
|
| 76 |
Product-free Lambek calculus is NP-complete
|
Savateev, Yury
|
|
2012
|
|
7 |
p. 775-788
14 p.
|
artikel
|
| 77 |
Profiniteness, monadicity and universal models in modal logic
|
De Berardinis, Matteo
|
|
|
|
7 |
p.
|
artikel
|
| 78 |
Proof complexity of substructural logics
|
Jalali, Raheleh
|
|
|
|
7 |
p.
|
artikel
|
| 79 |
Proof lengths for instances of the Paris–Harrington principle
|
Freund, Anton
|
|
2017
|
|
7 |
p. 1361-1382
22 p.
|
artikel
|
| 80 |
Propositional logics of dependence
|
Yang, Fan
|
|
2016
|
|
7 |
p. 557-589
33 p.
|
artikel
|
| 81 |
Propositional team logics
|
Yang, Fan
|
|
2017
|
|
7 |
p. 1406-1441
36 p.
|
artikel
|
| 82 |
Reducts of the Henson graphs with a constant
|
Pongrácz, András
|
|
2017
|
|
7 |
p. 1472-1489
18 p.
|
artikel
|
| 83 |
Semiconic idempotent logic I: Structure and local deduction theorems
|
Fussner, Wesley
|
|
|
|
7 |
p.
|
artikel
|
| 84 |
Separating weak α-change and α-change genericity
|
McInerney, Michael
|
|
|
|
7 |
p.
|
artikel
|
| 85 |
Simple-like independence relations in abstract elementary classes
|
Grossberg, Rami
|
|
|
|
7 |
p.
|
artikel
|
| 86 |
Stable domination and weight
|
Onshuus, Alf
|
|
2011
|
|
7 |
p. 544-560
17 p.
|
artikel
|
| 87 |
Superstability from categoricity in abstract elementary classes
|
Boney, Will
|
|
2017
|
|
7 |
p. 1383-1395
13 p.
|
artikel
|
| 88 |
Tableaux and hypersequents for justification logics
|
Kurokawa, Hidenori
|
|
2012
|
|
7 |
p. 831-853
23 p.
|
artikel
|
| 89 |
The density zero ideal and the splitting number
|
Raghavan, Dilip
|
|
|
|
7 |
p.
|
artikel
|
| 90 |
The effective theory of Borel equivalence relations
|
Fokina, Ekaterina B.
|
|
2010
|
|
7 |
p. 837-850
14 p.
|
artikel
|
| 91 |
The Gamma question for many-one degrees
|
Harrison-Trainor, Matthew
|
|
2017
|
|
7 |
p. 1396-1405
10 p.
|
artikel
|
| 92 |
Topological forcing semantics with settling
|
Lubarsky, Robert S.
|
|
2012
|
|
7 |
p. 820-830
11 p.
|
artikel
|
| 93 |
Towards NP – P via proof complexity and search
|
Buss, Samuel R.
|
|
2012
|
|
7 |
p. 906-917
12 p.
|
artikel
|
| 94 |
Turing reducibility in the fine hierarchy
|
Melnikov, Alexander G.
|
|
|
|
7 |
p.
|
artikel
|
| 95 |
Types directed by constants
|
Tanović, Predrag
|
|
2010
|
|
7 |
p. 944-955
12 p.
|
artikel
|
| 96 |
Undecidability through Fourier series
|
Buser, Peter
|
|
2016
|
|
7 |
p. 507-524
18 p.
|
artikel
|
| 97 |
Uniform interpolation and coherence
|
Kowalski, Tomasz
|
|
2019
|
|
7 |
p. 825-841
|
artikel
|
| 98 |
Unifying sets and programs via dependent types
|
Moczydłowski, Wojciech
|
|
2012
|
|
7 |
p. 789-808
20 p.
|
artikel
|
| 99 |
Vector spaces with a dense-codense generic submodule
|
Berenstein, Alexander
|
|
|
|
7 |
p.
|
artikel
|
Tijdschrift beschrijving