| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A characterisation of elementary fibrations
|
Emmenegger, Jacopo
|
|
|
|
6 |
p.
|
artikel
|
| 2 |
A characterization of the Language Invariant families satisfying Spectrum Exchangeability in Polyadic Inductive Logic
|
Landes, J.
|
|
2010
|
|
6 |
p. 800-811
12 p.
|
artikel
|
| 3 |
A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings
|
Kanovei, Vladimir
|
|
|
|
6 |
p.
|
artikel
|
| 4 |
Almost universal cupping and diamond embeddings
|
Liu, Jiang
|
|
2012
|
|
6 |
p. 717-729
13 p.
|
artikel
|
| 5 |
An arithmetical view to first-order logic
|
Bagheri, Seyed Mohammad
|
|
2010
|
|
6 |
p. 745-755
11 p.
|
artikel
|
| 6 |
An o-minimal structure without mild parameterization
|
Thomas, Margaret E.M.
|
|
2011
|
|
6 |
p. 409-418
10 p.
|
artikel
|
| 7 |
Applicative theories for the polynomial hierarchy of time and its levels
|
Kahle, Reinhard
|
|
2013
|
|
6 |
p. 663-675
13 p.
|
artikel
|
| 8 |
Arboreal categories and equi-resource homomorphism preservation theorems
|
Abramsky, Samson
|
|
|
|
6 |
p.
|
artikel
|
| 9 |
Bilattice logic of epistemic actions and knowledge
|
Bakhtiari, Zeinab
|
|
|
|
6 |
p.
|
artikel
|
| 10 |
Bilinear spaces over a fixed field are simple unstable
|
Kamsma, Mark
|
|
|
|
6 |
p.
|
artikel
|
| 11 |
Blowing up the power of a singular cardinal of uncountable cofinality with collapses
|
Jirattikansakul, Sittinon
|
|
|
|
6 |
p.
|
artikel
|
| 12 |
Canonical proof nets for classical logic
|
McKinley, Richard
|
|
2013
|
|
6 |
p. 702-732
31 p.
|
artikel
|
| 13 |
Capturing sets of ordinals by normal ultrapowers
|
Habič, Miha E.
|
|
|
|
6 |
p.
|
artikel
|
| 14 |
Characterizations of the weakly compact ideal on P κ λ
|
Cody, Brent
|
|
|
|
6 |
p.
|
artikel
|
| 15 |
Computability in Europe 2010
|
Ferreira, Fernando
|
|
2012
|
|
6 |
p. 621-622
2 p.
|
artikel
|
| 16 |
Computability-theoretic categoricity and Scott families
|
Fokina, Ekaterina
|
|
2019
|
|
6 |
p. 699-717
|
artikel
|
| 17 |
Computable fields and the bounded Turing reduction
|
Steiner, Rebecca M.
|
|
2012
|
|
6 |
p. 730-742
13 p.
|
artikel
|
| 18 |
Condensational equivalence, equimorphism, elementary equivalence and similar similarities
|
Kurilić, Miloš S.
|
|
2017
|
|
6 |
p. 1210-1223
14 p.
|
artikel
|
| 19 |
Cone avoidance and randomness preservation
|
Simpson, Stephen G.
|
|
2015
|
|
6 |
p. 713-728
16 p.
|
artikel
|
| 20 |
Contents
|
|
|
2010
|
|
6 |
p. iv-
1 p.
|
artikel
|
| 21 |
Contents
|
|
|
2012
|
|
6 |
p. iv-
1 p.
|
artikel
|
| 22 |
Contents
|
|
|
2013
|
|
6 |
p. iii-
1 p.
|
artikel
|
| 23 |
Continuation-passing style models complete for intuitionistic logic
|
Ilik, Danko
|
|
2013
|
|
6 |
p. 651-662
12 p.
|
artikel
|
| 24 |
Definable groups in models of Presburger Arithmetic
|
Onshuus, Alf
|
|
|
|
6 |
p.
|
artikel
|
| 25 |
Dependence of variables construed as an atomic formula
|
Väänänen, Jouko
|
|
2010
|
|
6 |
p. 817-828
12 p.
|
artikel
|
| 26 |
Determinacy from strong compactness of ω 1
|
Trang, Nam
|
|
|
|
6 |
p.
|
artikel
|
| 27 |
Dominating the Erdős–Moser theorem in reverse mathematics
|
Patey, Ludovic
|
|
2017
|
|
6 |
p. 1172-1209
38 p.
|
artikel
|
| 28 |
Dp-finite fields I(A): The infinitesimals
|
Johnson, Will
|
|
|
|
6 |
p.
|
artikel
|
| 29 |
Dp-finite fields I(B): Positive characteristic
|
Johnson, Will
|
|
|
|
6 |
p.
|
artikel
|
| 30 |
Editorial Board
|
|
|
2015
|
|
6 |
p. IFC-
1 p.
|
artikel
|
| 31 |
Editorial Board
|
|
|
2014
|
|
6 |
p. IFC-
1 p.
|
artikel
|
| 32 |
Editorial Board
|
|
|
2016
|
|
6 |
p. IFC-
1 p.
|
artikel
|
| 33 |
Editorial Board
|
|
|
|
|
6 |
p.
|
artikel
|
| 34 |
Editorial Board
|
|
|
2018
|
|
6 |
p. ii
|
artikel
|
| 35 |
Editorial Board
|
|
|
2013
|
|
6 |
p. IFC-
1 p.
|
artikel
|
| 36 |
Editorial Board
|
|
|
2019
|
|
6 |
p. ii
|
artikel
|
| 37 |
Editorial Board
|
|
|
|
|
6 |
p.
|
artikel
|
| 38 |
Editorial Board
|
|
|
|
|
6 |
p.
|
artikel
|
| 39 |
Editorial Board
|
|
|
|
|
6 |
p.
|
artikel
|
| 40 |
Editorial Board
|
|
|
|
|
6 |
p.
|
artikel
|
| 41 |
Effectively closed mass problems and intuitionism
|
Higuchi, Kojiro
|
|
2012
|
|
6 |
p. 693-697
5 p.
|
artikel
|
| 42 |
Effectiveness in RPL, with applications to continuous logic
|
Didehvar, Farzad
|
|
2010
|
|
6 |
p. 789-799
11 p.
|
artikel
|
| 43 |
Elementary analytic functions in VT C 0
|
Jeřábek, Emil
|
|
|
|
6 |
p.
|
artikel
|
| 44 |
Elementary equivalence of rings with finitely generated additive groups
|
Myasnikov, Alexei G.
|
|
2018
|
|
6 |
p. 514-522
|
artikel
|
| 45 |
Embeddings between well-orderings: Computability-theoretic reductions
|
Goh, Jun Le
|
|
|
|
6 |
p.
|
artikel
|
| 46 |
Epsilon substitution for first- and second-order predicate logic
|
Mints, Grigori
|
|
2013
|
|
6 |
p. 733-739
7 p.
|
artikel
|
| 47 |
Extending and interpreting Post’s programme
|
Barry Cooper, S.
|
|
2010
|
|
6 |
p. 775-788
14 p.
|
artikel
|
| 48 |
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
|
Brot, Joshua
|
|
|
|
6 |
p.
|
artikel
|
| 49 |
First-order rigidity of rings satisfying polynomial identities
|
Greenfeld, Be'eri
|
|
|
|
6 |
p.
|
artikel
|
| 50 |
Fixed points of self-embeddings of models of arithmetic
|
Bahrami, Saeideh
|
|
2018
|
|
6 |
p. 487-513
|
artikel
|
| 51 |
Forcing axioms via ground model interpretations
|
Henney-Turner, Christopher
|
|
|
|
6 |
p.
|
artikel
|
| 52 |
Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal
|
De Smet, Michiel
|
|
2012
|
|
6 |
p. 669-680
12 p.
|
artikel
|
| 53 |
Herbrand's theorem as higher order recursion
|
Afshari, Bahareh
|
|
|
|
6 |
p.
|
artikel
|
| 54 |
Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field
|
Nguyen, Dong Quan Ngoc
|
|
|
|
6 |
p.
|
artikel
|
| 55 |
Indestructibility properties of Ramsey and Ramsey-like cardinals
|
Gitman, Victoria
|
|
|
|
6 |
p.
|
artikel
|
| 56 |
Inductive theorem proving based on tree grammars
|
Eberhard, Sebastian
|
|
2015
|
|
6 |
p. 665-700
36 p.
|
artikel
|
| 57 |
Infinitesimal analysis without the Axiom of Choice
|
Hrbacek, Karel
|
|
|
|
6 |
p.
|
artikel
|
| 58 |
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
|
Higuchi, K.
|
|
2014
|
|
6 |
p. 1201-1241
41 p.
|
artikel
|
| 59 |
Intermediate models of Magidor-Radin forcing-Part II
|
Benhamou, Tom
|
|
|
|
6 |
p.
|
artikel
|
| 60 |
Is cut-free logic fit for unrestricted abstraction?
|
Petersen, Uwe
|
|
|
|
6 |
p.
|
artikel
|
| 61 |
Kripke semantics for provability logic GLP
|
Beklemishev, Lev D.
|
|
2010
|
|
6 |
p. 756-774
19 p.
|
artikel
|
| 62 |
Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness
|
Aschieri, Federico
|
|
2013
|
|
6 |
p. 591-617
27 p.
|
artikel
|
| 63 |
Local collection and end-extensions of models of compositional truth
|
Łełyk, Mateusz
|
|
|
|
6 |
p.
|
artikel
|
| 64 |
Mild parametrizations of power-subanalytic sets
|
Van Hille, Siegfried
|
|
|
|
6 |
p.
|
artikel
|
| 65 |
Minimal from classical proofs
|
Schwichtenberg, Helmut
|
|
2013
|
|
6 |
p. 740-748
9 p.
|
artikel
|
| 66 |
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements
|
Scowcroft, Philip
|
|
2019
|
|
6 |
p. 673-698
|
artikel
|
| 67 |
Models of intuitionistic set theory in subtoposes of nested realizability toposes
|
Maschio, Samuele
|
|
2015
|
|
6 |
p. 729-739
11 p.
|
artikel
|
| 68 |
Non-forking and preservation of NIP and dp-rank
|
Estevan, Pedro Andrés
|
|
|
|
6 |
p.
|
artikel
|
| 69 |
Nonstandardness and the bounded functional interpretation
|
Ferreira, Fernando
|
|
2015
|
|
6 |
p. 701-712
12 p.
|
artikel
|
| 70 |
O-minimal residue fields of o-minimal fields
|
Maříková, Jana
|
|
2011
|
|
6 |
p. 457-464
8 p.
|
artikel
|
| 71 |
Omitting uncountable types and the strength of [ 0 , 1 ] -valued logics
|
Caicedo, Xavier
|
|
2014
|
|
6 |
p. 1169-1200
32 p.
|
artikel
|
| 72 |
On expansions of the real field by complex subgroups
|
Caulfield, Erin
|
|
2017
|
|
6 |
p. 1308-1334
27 p.
|
artikel
|
| 73 |
On the computational complexity of cut-reduction
|
Aehlig, Klaus
|
|
2010
|
|
6 |
p. 711-736
26 p.
|
artikel
|
| 74 |
Polytopes and simplexes in p-adic fields
|
Darnière, Luck
|
|
2017
|
|
6 |
p. 1284-1307
24 p.
|
artikel
|
| 75 |
Preface
|
Enayat, Ali
|
|
2010
|
|
6 |
p. 709-710
2 p.
|
artikel
|
| 76 |
Preface
|
van Bakel, Steffen
|
|
2013
|
|
6 |
p. 589-590
2 p.
|
artikel
|
| 77 |
Propositional union closed team logics
|
Yang, Fan
|
|
|
|
6 |
p.
|
artikel
|
| 78 |
Provability logic and the completeness principle
|
Visser, Albert
|
|
2019
|
|
6 |
p. 718-753
|
artikel
|
| 79 |
Quadratic forms in models of I Δ 0 + Ω 1 , Part II: Local equivalence
|
D’Aquino, Paola
|
|
2011
|
|
6 |
p. 447-456
10 p.
|
artikel
|
| 80 |
Quasiminimal structures, groups and Zariski-like geometries
|
Hyttinen, Tapani
|
|
2016
|
|
6 |
p. 457-505
49 p.
|
artikel
|
| 81 |
Quelques effets pervers de la positivité
|
Poizat, Bruno
|
|
2010
|
|
6 |
p. 812-816
5 p.
|
artikel
|
| 82 |
Realisability for infinitary intuitionistic set theory
|
Carl, Merlin
|
|
|
|
6 |
p.
|
artikel
|
| 83 |
Some lower bounds on Shelah rank in the free group
|
de la Nuez González, Javier
|
|
|
|
6 |
p.
|
artikel
|
| 84 |
Streamlined subrecursive degree theory
|
Kristiansen, Lars
|
|
2012
|
|
6 |
p. 698-716
19 p.
|
artikel
|
| 85 |
The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma
|
Brattka, Vasco
|
|
2012
|
|
6 |
p. 623-655
33 p.
|
artikel
|
| 86 |
The countable admissible ordinal equivalence relation
|
Chan, William
|
|
2017
|
|
6 |
p. 1224-1246
23 p.
|
artikel
|
| 87 |
The differential of probabilistic entailment
|
Mundici, Daniele
|
|
|
|
6 |
p.
|
artikel
|
| 88 |
The double negation of the intermediate value theorem
|
Ardeshir, Mohammad
|
|
2010
|
|
6 |
p. 737-744
8 p.
|
artikel
|
| 89 |
The geometry of Hrushovski constructions, I: The uncollapsed case
|
Evans, David M.
|
|
2011
|
|
6 |
p. 474-488
15 p.
|
artikel
|
| 90 |
The Hart-Shelah example, in stronger logics
|
Shelah, Saharon
|
|
|
|
6 |
p.
|
artikel
|
| 91 |
The Kierstead's Conjecture and limitwise monotonic functions
|
Wu, Guohua
|
|
2018
|
|
6 |
p. 467-486
|
artikel
|
| 92 |
The limits of tractability in Resolution-based propositional proof systems
|
Dantchev, Stefan
|
|
2012
|
|
6 |
p. 656-668
13 p.
|
artikel
|
| 93 |
The Peirce translation
|
Escardó, Martín
|
|
2012
|
|
6 |
p. 681-692
12 p.
|
artikel
|
| 94 |
The provably total NP search problems of weak second order bounded arithmetic
|
Kołodziejczyk, Leszek Aleksander
|
|
2011
|
|
6 |
p. 419-446
28 p.
|
artikel
|
| 95 |
The quantum harmonic oscillator as a Zariski geometry
|
Solanki, Vinesh
|
|
2014
|
|
6 |
p. 1149-1168
20 p.
|
artikel
|
| 96 |
The λ μ T -calculus
|
Geuvers, Herman
|
|
2013
|
|
6 |
p. 676-701
26 p.
|
artikel
|
| 97 |
The tree property at the double successor of a singular cardinal with a larger gap
|
Friedman, Sy-David
|
|
2018
|
|
6 |
p. 548-564
|
artikel
|
| 98 |
The uniform content of partial and linear orders
|
Astor, Eric P.
|
|
2017
|
|
6 |
p. 1153-1171
19 p.
|
artikel
|
| 99 |
The ⁎-variation of the Banach–Mazur game and forcing axioms
|
Yoshinobu, Yasuo
|
|
2017
|
|
6 |
p. 1335-1359
25 p.
|
artikel
|
| 100 |
Towards a canonical classical natural deduction system
|
Espírito Santo, José
|
|
2013
|
|
6 |
p. 618-650
33 p.
|
artikel
|
| 101 |
Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎
|
Enayat, Ali
|
|
2017
|
|
6 |
p. 1247-1283
37 p.
|
artikel
|
| 102 |
Univalent polymorphism
|
van den Berg, Benno
|
|
|
|
6 |
p.
|
artikel
|
| 103 |
Upper bounds on ideals in the computably enumerable Turing degrees
|
Barmpalias, George
|
|
2011
|
|
6 |
p. 465-473
9 p.
|
artikel
|
| 104 |
What does a group algebra of a free group “know” about the group?
|
Kharlampovich, Olga
|
|
2018
|
|
6 |
p. 523-547
|
artikel
|
| 105 |
ZF and its interpretations
|
Jockwich Martinez, S.
|
|
|
|
6 |
p.
|
artikel
|
Tijdschrift beschrijving