nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abelian group actions and hypersmooth equivalence relations
|
Cotton, Michael R. |
|
|
|
8 |
p. |
artikel |
2 |
A classification of the cofinal structures of precompacta
|
Eshed, Aviv |
|
|
|
8 |
p. |
artikel |
3 |
Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]
|
Brattka, Vasco |
|
2017 |
|
8 |
p. 1605-1608 4 p. |
artikel |
4 |
A forcing axiom for a non-special Aronszajn tree
|
Krueger, John |
|
|
|
8 |
p. |
artikel |
5 |
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem
|
Berger, Josef |
|
2012 |
|
8 |
p. 981-985 5 p. |
artikel |
6 |
Almost new pre-apartness from old
|
Bridges, Douglas S. |
|
2012 |
|
8 |
p. 1009-1015 7 p. |
artikel |
7 |
A predicative completion of a uniform space
|
Berger, Josef |
|
2012 |
|
8 |
p. 975-980 6 p. |
artikel |
8 |
A recursion-theoretic approach to NP
|
Oitavem, I. |
|
2011 |
|
8 |
p. 661-666 6 p. |
artikel |
9 |
A synthetic theory of sequential domains
|
Reus, Bernhard |
|
2012 |
|
8 |
p. 1062-1074 13 p. |
artikel |
10 |
Banach-Stone-like results for combinatorial Banach spaces
|
Brech, C. |
|
|
|
8 |
p. |
artikel |
11 |
Beth definability and the Stone-Weierstrass Theorem
|
Reggio, Luca |
|
|
|
8 |
p. |
artikel |
12 |
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations
|
Chan, William |
|
|
|
8 |
p. |
artikel |
13 |
CE-cell decomposition and open cell property in o-minimal structures
|
Tari, Somayyeh |
|
2017 |
|
8 |
p. 1564-1570 7 p. |
artikel |
14 |
Characterizations of pretameness and the Ord-cc
|
Holy, Peter |
|
2018 |
|
8 |
p. 775-802 |
artikel |
15 |
Closed choice and a Uniform Low Basis Theorem
|
Brattka, Vasco |
|
2012 |
|
8 |
p. 986-1008 23 p. |
artikel |
16 |
Cohen preservation and independence
|
Fischer, Vera |
|
|
|
8 |
p. |
artikel |
17 |
Computability of pseudo-cubes
|
Horvat, Marko |
|
|
|
8 |
p. |
artikel |
18 |
Contents
|
|
|
2012 |
|
8 |
p. iv- 1 p. |
artikel |
19 |
Denseness results in the theory of algebraic fields
|
Anscombe, Sylvy |
|
|
|
8 |
p. |
artikel |
20 |
Different cofinalities of tree ideals
|
Shelah, Saharon |
|
|
|
8 |
p. |
artikel |
21 |
Disjoint Borel functions
|
Hathaway, Dan |
|
2017 |
|
8 |
p. 1552-1563 12 p. |
artikel |
22 |
Editorial Board
|
|
|
|
|
8 |
p. |
artikel |
23 |
Editorial Board
|
|
|
2016 |
|
8 |
p. IFC- 1 p. |
artikel |
24 |
Editorial Board
|
|
|
2018 |
|
8 |
p. ii |
artikel |
25 |
Editorial Board
|
|
|
2019 |
|
8 |
p. ii |
artikel |
26 |
Editorial Board
|
|
|
|
|
8 |
p. |
artikel |
27 |
Editorial Board
|
|
|
|
|
8 |
p. |
artikel |
28 |
Editorial Board
|
|
|
|
|
8 |
p. |
artikel |
29 |
Eggleston's dichotomy for characterized subgroups and the role of ideals
|
Das, Pratulananda |
|
|
|
8 |
p. |
artikel |
30 |
Elementary recursive quantifier elimination based on Thom encoding and sign determination
|
Perrucci, Daniel |
|
2017 |
|
8 |
p. 1588-1604 17 p. |
artikel |
31 |
End extending models of set theory via power admissible covers
|
McKenzie, Zachiri |
|
|
|
8 |
p. |
artikel |
32 |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
|
Fujiwara, Makoto |
|
2019 |
|
8 |
p. 867-890 |
artikel |
33 |
Expansions of o-minimal structures by dense independent sets
|
Dolich, Alfred |
|
2016 |
|
8 |
p. 684-706 23 p. |
artikel |
34 |
Fine hierarchies via Priestley duality
|
Selivanov, Victor |
|
2012 |
|
8 |
p. 1075-1107 33 p. |
artikel |
35 |
Forcing the Π 3 1 -reduction property and a failure of Π 3 1 -uniformization
|
Hoffelner, Stefan |
|
|
|
8 |
p. |
artikel |
36 |
Forcing with copies of the Rado and Henson graphs
|
Guzmán, Osvaldo |
|
|
|
8 |
p. |
artikel |
37 |
Foreword
|
Berger, Ulrich |
|
2012 |
|
8 |
p. 973-974 2 p. |
artikel |
38 |
Forking in short and tame abstract elementary classes
|
Boney, Will |
|
2017 |
|
8 |
p. 1517-1551 35 p. |
artikel |
39 |
Full-splitting Miller trees and infinitely often equal reals
|
Khomskii, Yurii |
|
2017 |
|
8 |
p. 1491-1506 16 p. |
artikel |
40 |
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
|
Haykazyan, Levon |
|
2018 |
|
8 |
p. 705-730 |
artikel |
41 |
Fundamental group in o-minimal structures with definable Skolem functions
|
Dinis, Bruno |
|
|
|
8 |
p. |
artikel |
42 |
Generic expansion and Skolemization in NSOP1 theories
|
Kruckman, Alex |
|
2018 |
|
8 |
p. 755-774 |
artikel |
43 |
Geometric stability theory for μ-structures
|
Lee, Junguk |
|
2019 |
|
8 |
p. 843-866 |
artikel |
44 |
Independence relations for exponential fields
|
Aslanyan, Vahagn |
|
|
|
8 |
p. |
artikel |
45 |
Lattice properties of congruences for stochastic relations
|
Doberkat, Ernst-Erich |
|
2012 |
|
8 |
p. 1016-1029 14 p. |
artikel |
46 |
Modal logics, justification logics, and realization
|
Fitting, Melvin |
|
2016 |
|
8 |
p. 615-648 34 p. |
artikel |
47 |
Modularity results for interpolation, amalgamation and superamalgamation
|
Ghilardi, Silvio |
|
2018 |
|
8 |
p. 731-754 |
artikel |
48 |
Nonstandard arithmetic and recursive comprehension
|
Jerome Keisler, H. |
|
2010 |
|
8 |
p. 1047-1062 16 p. |
artikel |
49 |
On bounded functional interpretations
|
Ferreira, Gilda |
|
2012 |
|
8 |
p. 1030-1049 20 p. |
artikel |
50 |
On expansions of (Z,+,0)
|
Lambotte, Quentin |
|
|
|
8 |
p. |
artikel |
51 |
On the class of flat stable theories
|
Palacín, Daniel |
|
2018 |
|
8 |
p. 835-849 |
artikel |
52 |
On the decidability of the theory of modules over the ring of algebraic integers
|
L'Innocente, Sonia |
|
2017 |
|
8 |
p. 1507-1516 10 p. |
artikel |
53 |
On the structure of Borel ideals in-between the ideals ED and Fin ⊗ Fin in the Katětov order
|
Das, Pratulananda |
|
|
|
8 |
p. |
artikel |
54 |
Parametrized Ramsey theory of infinite block sequences of vectors
|
Kawach, Jamal K. |
|
|
|
8 |
p. |
artikel |
55 |
Projective well orders and coanalytic witnesses
|
Bergfalk, Jeffrey |
|
|
|
8 |
p. |
artikel |
56 |
Proof theory for lattice-ordered groups
|
Galatos, Nikolaos |
|
2016 |
|
8 |
p. 707-724 18 p. |
artikel |
57 |
Punctual definability on structures
|
Kalimullin, Iskander |
|
|
|
8 |
p. |
artikel |
58 |
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra
|
Ziegler, Martin |
|
2012 |
|
8 |
p. 1108-1139 32 p. |
artikel |
59 |
Representation theory of MV-algebras
|
Dubuc, Eduardo J. |
|
2010 |
|
8 |
p. 1024-1046 23 p. |
artikel |
60 |
Representing definable functions of HA ω by neighbourhood functions
|
Kawai, Tatsuji |
|
2019 |
|
8 |
p. 891-909 |
artikel |
61 |
Selection over classes of ordinals expanded by monadic predicates
|
Rabinovich, Alexander |
|
2010 |
|
8 |
p. 1006-1023 18 p. |
artikel |
62 |
Some constructions of ultrafilters over a measurable cardinal
|
Gitik, Moti |
|
|
|
8 |
p. |
artikel |
63 |
Splitting into degrees with low computational strength
|
Downey, Rod |
|
2018 |
|
8 |
p. 803-834 |
artikel |
64 |
Square and Delta reflection
|
Fontanella, Laura |
|
2016 |
|
8 |
p. 663-683 21 p. |
artikel |
65 |
Supercompact extender based Magidor–Radin forcing
|
Merimovich, Carmi |
|
2017 |
|
8 |
p. 1571-1587 17 p. |
artikel |
66 |
The complexity of central series in nilpotent computable groups
|
Csima, Barbara F. |
|
2011 |
|
8 |
p. 667-678 12 p. |
artikel |
67 |
The complexity of temporal logic over the reals
|
Reynolds, M. |
|
2010 |
|
8 |
p. 1063-1096 34 p. |
artikel |
68 |
The computational strength of matchings in countable graphs
|
Flood, Stephen |
|
|
|
8 |
p. |
artikel |
69 |
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
|
Tesi, Matteo |
|
|
|
8 |
p. |
artikel |
70 |
The intermediate value theorem in constructive mathematics without choice
|
Hendtlass, Matthew |
|
2012 |
|
8 |
p. 1050-1056 7 p. |
artikel |
71 |
The poset of all copies of the random graph has the 2-localization property
|
Kurilić, Miloš S. |
|
2016 |
|
8 |
p. 649-662 14 p. |
artikel |
72 |
The strength of extensionality II — Weak weak set theories without infinity
|
Sato, Kentaro |
|
2011 |
|
8 |
p. 579-646 68 p. |
artikel |
73 |
The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories
|
Jäger, Gerhard |
|
2011 |
|
8 |
p. 647-660 14 p. |
artikel |
74 |
The theory of ceers computes true arithmetic
|
Andrews, Uri |
|
|
|
8 |
p. |
artikel |
75 |
The uniform boundedness theorem and a boundedness principle
|
Ishihara, Hajime |
|
2012 |
|
8 |
p. 1057-1061 5 p. |
artikel |
76 |
Truth in generic cuts
|
Kaye, Richard |
|
2010 |
|
8 |
p. 987-1005 19 p. |
artikel |
77 |
Universal graphs and functions on ω 1
|
Shelah, Saharon |
|
|
|
8 |
p. |
artikel |
78 |
Vaught's conjecture for monomorphic theories
|
Kurilić, Miloš S. |
|
2019 |
|
8 |
p. 910-920 |
artikel |