nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abelian C-minimal valued groups
|
Delon, F. |
|
2017 |
|
9 |
p. 1729-1782 54 p. |
artikel |
2 |
A constructive manifestation of the Kleene–Kreisel continuous functionals
|
Escardó, Martín |
|
2016 |
|
9 |
p. 770-793 24 p. |
artikel |
3 |
A correction to “A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees”
|
Yorioka, Teruyuki |
|
2011 |
|
9 |
p. 752-754 3 p. |
artikel |
4 |
A focused approach to combining logics
|
Liang, Chuck |
|
2011 |
|
9 |
p. 679-697 19 p. |
artikel |
5 |
Algebraically closed structures in positive logic
|
Belkasmi, Mohammed |
|
|
|
9 |
p. |
artikel |
6 |
Algorithmic correspondence and canonicity for non-distributive logics
|
Conradie, Willem |
|
|
|
9 |
p. 923-974 |
artikel |
7 |
Almost o-minimal structures and X -structures
|
Fujita, Masato |
|
|
|
9 |
p. |
artikel |
8 |
A logical approach to context-specific independence
|
Corander, Jukka |
|
|
|
9 |
p. 975-992 |
artikel |
9 |
A logician's view of graph polynomials
|
Makowsky, J.A. |
|
|
|
9 |
p. 1030-1069 |
artikel |
10 |
Alternatives to the Halpern-Läuchli theorem
|
Stefanović, Nedeljko |
|
|
|
9 |
p. |
artikel |
11 |
A model-theoretic characterization of constant-depth arithmetic circuits
|
Haak, Anselm |
|
|
|
9 |
p. 1008-1029 |
artikel |
12 |
An application of proof mining to nonlinear iterations
|
Leuştean, Laurenţiu |
|
2014 |
|
9 |
p. 1484-1500 17 p. |
artikel |
13 |
An approach to stochastic processes via non-classical logic
|
Di Nola, Antonio |
|
|
|
9 |
p. |
artikel |
14 |
An undecidable extension of Morley's theorem on the number of countable models
|
Eagle, Christopher J. |
|
|
|
9 |
p. |
artikel |
15 |
A partially non-proper ordinal beyond L ( V λ + 1 )
|
Dimonte, Vincenzo |
|
2012 |
|
9 |
p. 1309-1321 13 p. |
artikel |
16 |
Apartness spaces and uniform neighbourhood structures
|
Bridges, Douglas S. |
|
2016 |
|
9 |
p. 850-864 15 p. |
artikel |
17 |
Applications of pcf for mild large cardinals to elementary embeddings
|
Gitik, Moti |
|
2013 |
|
9 |
p. 855-865 11 p. |
artikel |
18 |
A premouse inheriting strong cardinals from V
|
Schlutzenberg, Farmer |
|
|
|
9 |
p. |
artikel |
19 |
Atomicity, coherence of information, and point-free structures
|
Karádais, Basil A. |
|
2016 |
|
9 |
p. 753-769 17 p. |
artikel |
20 |
Automatic models of first order theories
|
Semukhin, Pavel |
|
2013 |
|
9 |
p. 837-854 18 p. |
artikel |
21 |
Avoiding uniformity in the Δ 2 0 enumeration degrees
|
Badillo, Liliana |
|
2014 |
|
9 |
p. 1355-1379 25 p. |
artikel |
22 |
Axiomatizations of team logics
|
Lück, Martin |
|
2018 |
|
9 |
p. 928-969 |
artikel |
23 |
Bare canonicity of representable cylindric and polyadic algebras
|
Bulian, Jannis |
|
2013 |
|
9 |
p. 884-906 23 p. |
artikel |
24 |
Basic subtoposes of the effective topos
|
Lee, Sori |
|
2013 |
|
9 |
p. 866-883 18 p. |
artikel |
25 |
Cardinal sequences of LCS spaces under GCH
|
Martinez, Juan Carlos |
|
2010 |
|
9 |
p. 1180-1193 14 p. |
artikel |
26 |
Carlson-Simpson's lemma and applications in reverse mathematics
|
Angles d'Auriac, Paul-Elliot |
|
|
|
9 |
p. |
artikel |
27 |
Characterising modal definability of team-based logics via the universal modality
|
Sano, Katsuhiko |
|
|
|
9 |
p. 1100-1127 |
artikel |
28 |
Characterizing existence of certain ultrafilters
|
Filipów, Rafał |
|
|
|
9 |
p. |
artikel |
29 |
Choice and independence of premise rules in intuitionistic set theory
|
Frittaion, Emanuele |
|
|
|
9 |
p. |
artikel |
30 |
Coherence in inquisitive first-order logic
|
Ciardelli, Ivano |
|
|
|
9 |
p. |
artikel |
31 |
Computable Stone spaces
|
Bazhenov, Nikolay |
|
|
|
9 |
p. |
artikel |
32 |
Contents
|
|
|
2014 |
|
9 |
p. iv- 1 p. |
artikel |
33 |
Contents
|
|
|
2016 |
|
9 |
p. iv- 1 p. |
artikel |
34 |
Continuous L-domains in logical form
|
Wang, Longchun |
|
|
|
9 |
p. |
artikel |
35 |
Craig interpolation for networks of sentences
|
Jerome Keisler, H. |
|
2012 |
|
9 |
p. 1322-1344 23 p. |
artikel |
36 |
Criteria for exact saturation and singular compactness
|
Kaplan, Itay |
|
|
|
9 |
p. |
artikel |
37 |
Cut elimination and strong separation for substructural logics: An algebraic approach
|
Galatos, Nikolaos |
|
2010 |
|
9 |
p. 1097-1133 37 p. |
artikel |
38 |
Definable E 0 classes at arbitrary projective levels
|
Kanovei, Vladimir |
|
2018 |
|
9 |
p. 851-871 |
artikel |
39 |
Descriptive complexity of graph spectra
|
Dawar, Anuj |
|
|
|
9 |
p. 993-1007 |
artikel |
40 |
Easton's theorem for Ramsey and strongly Ramsey cardinals
|
Cody, Brent |
|
2015 |
|
9 |
p. 934-952 19 p. |
artikel |
41 |
Editorial Board
|
|
|
2013 |
|
9 |
p. IFC- 1 p. |
artikel |
42 |
Editorial Board
|
|
|
2014 |
|
9 |
p. IFC- 1 p. |
artikel |
43 |
Editorial Board
|
|
|
2016 |
|
9 |
p. IFC- 1 p. |
artikel |
44 |
Editorial Board
|
|
|
|
|
9 |
p. |
artikel |
45 |
Editorial Board
|
|
|
2018 |
|
9 |
p. ii |
artikel |
46 |
Editorial Board
|
|
|
2015 |
|
9 |
p. IFC- 1 p. |
artikel |
47 |
Editorial Board
|
|
|
|
|
9 |
p. |
artikel |
48 |
Editorial Board
|
|
|
|
|
9 |
p. ii |
artikel |
49 |
Editorial Board
|
|
|
|
|
9 |
p. |
artikel |
50 |
Editorial Board
|
|
|
|
|
9 |
p. |
artikel |
51 |
Epimorphism surjectivity in varieties of Heyting algebras
|
Moraschini, T. |
|
|
|
9 |
p. |
artikel |
52 |
Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)]
|
Dubuc, Eduardo J. |
|
2012 |
|
9 |
p. 1358- 1 p. |
artikel |
53 |
Essential and density topologies of continuous domains
|
Rusu, Dănuţ |
|
2016 |
|
9 |
p. 726-736 11 p. |
artikel |
54 |
First order theory of cyclically ordered groups
|
Giraudet, M. |
|
2018 |
|
9 |
p. 896-927 |
artikel |
55 |
Forcing by non-scattered sets
|
Kurilić, Miloš S. |
|
2012 |
|
9 |
p. 1299-1308 10 p. |
artikel |
56 |
Fresh function spectra
|
Fischer, Vera |
|
|
|
9 |
p. |
artikel |
57 |
Friedman-reflexivity
|
Visser, Albert |
|
|
|
9 |
p. |
artikel |
58 |
Generics for computable Mathias forcing
|
Cholak, Peter A. |
|
2014 |
|
9 |
p. 1418-1428 11 p. |
artikel |
59 |
Halfway new cardinal characteristics
|
Brendle, Jörg |
|
|
|
9 |
p. |
artikel |
60 |
Henselianity in the language of rings
|
Anscombe, Sylvy |
|
2018 |
|
9 |
p. 872-895 |
artikel |
61 |
Hilbert-style axiomatization of first-degree entailment and a family of its extensions
|
Shramko, Yaroslav |
|
|
|
9 |
p. |
artikel |
62 |
Homology groups of types in stable theories and the Hurewicz correspondence
|
Goodrick, John |
|
2017 |
|
9 |
p. 1710-1728 19 p. |
artikel |
63 |
How much randomness is needed for statistics?
|
Kjos-Hanssen, Bjørn |
|
2014 |
|
9 |
p. 1470-1483 14 p. |
artikel |
64 |
Indestructible strong compactness but not supercompactness
|
Apter, Arthur W. |
|
2012 |
|
9 |
p. 1237-1242 6 p. |
artikel |
65 |
Interpreting groups and fields in simple, finitary AECs
|
Hyttinen, Tapani |
|
2012 |
|
9 |
p. 1141-1162 22 p. |
artikel |
66 |
Investigations of isotropy and homogeneity of spacetime in first-order logic
|
Madarász, Judit X. |
|
|
|
9 |
p. |
artikel |
67 |
Isometry of Polish metric spaces
|
Clemens, John D. |
|
2012 |
|
9 |
p. 1196-1209 14 p. |
artikel |
68 |
Krull dimension in set theory
|
Zapletal, Jindřich |
|
|
|
9 |
p. |
artikel |
69 |
Limit spaces with approximations
|
Petrakis, Iosif |
|
2016 |
|
9 |
p. 737-752 16 p. |
artikel |
70 |
Lipschitz and Wadge binary games in second order arithmetic
|
Cordón-Franco, Andrés |
|
|
|
9 |
p. |
artikel |
71 |
Local induction and provably total computable functions
|
Cordón-Franco, Andrés |
|
2014 |
|
9 |
p. 1429-1444 16 p. |
artikel |
72 |
Mathias like criterion for the extender based Prikry forcing
|
Merimovich, Carmi |
|
|
|
9 |
p. |
artikel |
73 |
Negation and partial axiomatizations of dependence and independence logic revisited
|
Yang, Fan |
|
|
|
9 |
p. 1128-1149 |
artikel |
74 |
Non-density in punctual computability
|
Greenberg, Noam |
|
|
|
9 |
p. |
artikel |
75 |
Notions around tree property 1
|
Kim, Byunghan |
|
2011 |
|
9 |
p. 698-709 12 p. |
artikel |
76 |
Nullifying randomness and genericity using symmetric difference
|
Kuyper, Rutger |
|
2017 |
|
9 |
p. 1692-1699 8 p. |
artikel |
77 |
On Δ 2 0 -categoricity of equivalence relations
|
Downey, Rod |
|
2015 |
|
9 |
p. 851-880 30 p. |
artikel |
78 |
On effectively closed sets of effective strong measure zero
|
Higuchi, Kojiro |
|
2014 |
|
9 |
p. 1445-1469 25 p. |
artikel |
79 |
On generalized Van Benthem-type characterizations
|
Olkhovikov, Grigory K. |
|
2017 |
|
9 |
p. 1643-1691 49 p. |
artikel |
80 |
On n -tardy sets
|
Cholak, Peter A. |
|
2012 |
|
9 |
p. 1252-1270 19 p. |
artikel |
81 |
Perfect tree forcings for singular cardinals
|
Dobrinen, Natasha |
|
|
|
9 |
p. |
artikel |
82 |
Polarized partitions on the second level of the projective hierarchy
|
Brendle, Jörg |
|
2012 |
|
9 |
p. 1345-1357 13 p. |
artikel |
83 |
Positivity relations on a locale
|
Ciraulo, Francesco |
|
2016 |
|
9 |
p. 806-819 14 p. |
artikel |
84 |
Preface
|
Coquand, Thierry |
|
2016 |
|
9 |
p. 725- 1 p. |
artikel |
85 |
Priestley-type dualities for partially ordered structures
|
Caramello, Olivia |
|
2016 |
|
9 |
p. 820-849 30 p. |
artikel |
86 |
Proofs and surfaces
|
Baralić, Djordje |
|
|
|
9 |
p. |
artikel |
87 |
Propositional proofs and reductions between NP search problems
|
Buss, Samuel R. |
|
2012 |
|
9 |
p. 1163-1182 20 p. |
artikel |
88 |
Pure Σ2-elementarity beyond the core
|
Wilken, Gunnar |
|
|
|
9 |
p. |
artikel |
89 |
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016
|
Väänänen, Jouko |
|
|
|
9 |
p. 921-922 |
artikel |
90 |
Realization for justification logics via nested sequents: Modularity through embedding
|
Goetschi, Remo |
|
2012 |
|
9 |
p. 1271-1298 28 p. |
artikel |
91 |
Reverse mathematics and properties of finite character
|
Dzhafarov, Damir D. |
|
2012 |
|
9 |
p. 1243-1251 9 p. |
artikel |
92 |
Rules with parameters in modal logic I
|
Jeřábek, Emil |
|
2015 |
|
9 |
p. 881-933 53 p. |
artikel |
93 |
Set theoretical analogues of the Barwise-Schlipf theorem
|
Enayat, Ali |
|
|
|
9 |
p. |
artikel |
94 |
Shelah's eventual categoricity conjecture in universal classes: Part I
|
Vasey, Sebastien |
|
2017 |
|
9 |
p. 1609-1642 34 p. |
artikel |
95 |
Silver type theorems for collapses
|
Gitik, Moti |
|
|
|
9 |
p. |
artikel |
96 |
Social welfare relations and irregular sets
|
Dubey, Ram Sewak |
|
|
|
9 |
p. |
artikel |
97 |
Some model-theoretic correspondences between dimension groups and AF algebras
|
Scowcroft, Philip |
|
2011 |
|
9 |
p. 755-785 31 p. |
artikel |
98 |
Spaces of orders and their Turing degree spectra
|
Dabkowska, Malgorzata A. |
|
2010 |
|
9 |
p. 1134-1143 10 p. |
artikel |
99 |
Strongly compact cardinals and the continuum function
|
Apter, Arthur W. |
|
|
|
9 |
p. |
artikel |
100 |
Strong normalization results by translation
|
David, René |
|
2010 |
|
9 |
p. 1171-1179 9 p. |
artikel |
101 |
λ -structures and s -structures: Translating the iteration strategies
|
Fuchs, Gunter |
|
2011 |
|
9 |
p. 710-751 42 p. |
artikel |
102 |
The axiomatic power of Kolmogorov complexity
|
Bienvenu, Laurent |
|
2014 |
|
9 |
p. 1380-1402 23 p. |
artikel |
103 |
The bounded functional interpretation of bar induction
|
Engrácia, Patrícia |
|
2012 |
|
9 |
p. 1183-1195 13 p. |
artikel |
104 |
The computational strengths of α-tape infinite time Turing machines
|
Rin, Benjamin |
|
2014 |
|
9 |
p. 1501-1511 11 p. |
artikel |
105 |
The distribution of ITRM-recognizable reals
|
Carl, Merlin |
|
2014 |
|
9 |
p. 1403-1417 15 p. |
artikel |
106 |
The expressive power of k-ary exclusion logic
|
Rönnholm, Raine |
|
|
|
9 |
p. 1070-1099 |
artikel |
107 |
The FAN principle and weak König's lemma in herbrandized second-order arithmetic
|
Ferreira, Fernando |
|
|
|
9 |
p. |
artikel |
108 |
The free n -generated BL-algebra
|
Aguzzoli, Stefano |
|
2010 |
|
9 |
p. 1144-1170 27 p. |
artikel |
109 |
The intrinsic topology of Martin-Löf universes
|
Escardó, Martín Hötzel |
|
2016 |
|
9 |
p. 794-805 12 p. |
artikel |
110 |
The relational model is injective for multiplicative exponential linear logic (without weakenings)
|
de Carvalho, Daniel |
|
2012 |
|
9 |
p. 1210-1236 27 p. |
artikel |
111 |
The secret life of μ-clubs
|
Matet, Pierre |
|
|
|
9 |
p. |
artikel |
112 |
The spectrum of independence, II
|
Fischer, Vera |
|
|
|
9 |
p. |
artikel |
113 |
The strength of infinitary Ramseyan principles can be accessed by their densities
|
Bovykin, Andrey |
|
2017 |
|
9 |
p. 1700-1709 10 p. |
artikel |
114 |
The structure of random automorphisms of the random graph
|
Darji, Udayan B. |
|
|
|
9 |
p. |
artikel |
115 |
The ω-Turing degrees
|
Sariev, Andrey C. |
|
2014 |
|
9 |
p. 1512-1532 21 p. |
artikel |
116 |
Topological dynamics and NIP fields
|
Jagiella, Grzegorz |
|
|
|
9 |
p. |
artikel |
117 |
Turing Centenary Conference: How the World Computes
|
Cooper, S. Barry |
|
2014 |
|
9 |
p. 1353-1354 2 p. |
artikel |