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