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