| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Ab initio generic structures which are superstable but not ω-stable
|
Ikeda, Koichiro
|
|
2011
|
|
1-2 |
p. 203-211
|
artikel
|
| 2 |
A boundedness principle for the Hjorth rank
|
Drucker, Ohad
|
|
|
|
1-2 |
p. 223-232
|
artikel
|
| 3 |
A characterization of $${\square(\kappa^{+})}$$ in extender models
|
Kypriotakis, Kyriakos
|
|
2012
|
|
1-2 |
p. 67-90
|
artikel
|
| 4 |
A completeness theorem for continuous predicate modal logic
|
Baratella, Stefano
|
|
2018
|
|
1-2 |
p. 183-201
|
artikel
|
| 5 |
Adding a club with finite conditions, Part II
|
Krueger, John
|
|
2014
|
|
1-2 |
p. 161-172
|
artikel
|
| 6 |
A dedekind finite borel set
|
Miller, Arnold W.
|
|
2010
|
|
1-2 |
p. 1-17
|
artikel
|
| 7 |
ADR implies that all sets of reals are Θ universally Baire
|
Sargsyan, Grigor
|
|
|
|
1-2 |
p. 1-15
|
artikel
|
| 8 |
A few more dissimilarities between second-order arithmetic and set theory
|
Fujimoto, Kentaro
|
|
|
|
1-2 |
p. 147-206
|
artikel
|
| 9 |
A forcing notion related to Hindman’s theorem
|
García-Ávila, Luz María
|
|
2014
|
|
1-2 |
p. 133-159
|
artikel
|
| 10 |
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
|
Marchioni, Enrico
|
|
2011
|
|
1-2 |
p. 15-34
|
artikel
|
| 11 |
A Mathias criterion for the Magidor iteration of Prikry forcings
|
Ben-Neria, Omer
|
|
|
|
1-2 |
p. 119-134
|
artikel
|
| 12 |
A model of the generic Vopěnka principle in which the ordinals are not Mahlo
|
Gitman, Victoria
|
|
2018
|
|
1-2 |
p. 245-265
|
artikel
|
| 13 |
An extension of Shelah’s trichotomy theorem
|
Ahmed, Shehzad
|
|
2018
|
|
1-2 |
p. 137-153
|
artikel
|
| 14 |
An induction principle over real numbers
|
Mahboubi, Assia
|
|
2016
|
|
1-2 |
p. 43-49
|
artikel
|
| 15 |
An order-theoretic characterization of the Howard–Bachmann-hierarchy
|
Van der Meeren, Jeroen
|
|
2016
|
|
1-2 |
p. 79-118
|
artikel
|
| 16 |
A note on admissible rules and the disjunction property in intermediate logics
|
Citkin, Alexander
|
|
2011
|
|
1-2 |
p. 1-14
|
artikel
|
| 17 |
A note on propositional proof complexity of some Ramsey-type statements
|
Krajíček, Jan
|
|
2010
|
|
1-2 |
p. 245-255
|
artikel
|
| 18 |
A note on uniform density in weak arithmetical theories
|
Pianigiani, Duccio
|
|
|
|
1-2 |
p. 211-225
|
artikel
|
| 19 |
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy
|
Çevik, Ahmet
|
|
2012
|
|
1-2 |
p. 137-142
|
artikel
|
| 20 |
A remark on hereditarily nonparadoxical sets
|
Komjáth, Péter
|
|
2015
|
|
1-2 |
p. 165-175
|
artikel
|
| 21 |
Arithmetical algorithms for elementary patterns
|
Alexander, Samuel A.
|
|
2014
|
|
1-2 |
p. 113-132
|
artikel
|
| 22 |
Aronszajn and Kurepa trees
|
Cummings, James
|
|
2017
|
|
1-2 |
p. 83-90
|
artikel
|
| 23 |
A saturation property of structures obtained by forcing with a compact family of random variables
|
Krajíček, Jan
|
|
2012
|
|
1-2 |
p. 19-28
|
artikel
|
| 24 |
A strong failure of $$\aleph _0$$ℵ0-stability for atomic classes
|
Laskowski, Michael C.
|
|
2018
|
|
1-2 |
p. 99-118
|
artikel
|
| 25 |
A superhigh diamond in the c.e. tt-degrees
|
Cenzer, Douglas
|
|
2010
|
|
1-2 |
p. 33-44
|
artikel
|
| 26 |
Axiomatic theory of betweenness
|
Azimipour, Sanaz
|
|
|
|
1-2 |
p. 227-239
|
artikel
|
| 27 |
Baire spaces and infinite games
|
Galvin, Fred
|
|
2015
|
|
1-2 |
p. 85-104
|
artikel
|
| 28 |
Between Polish and completely Baire
|
Medini, Andrea
|
|
2014
|
|
1-2 |
p. 231-245
|
artikel
|
| 29 |
Bounded enumeration reducibility and its degree structure
|
Marsibilio, Daniele
|
|
2011
|
|
1-2 |
p. 163-186
|
artikel
|
| 30 |
Cardinal coefficients associated to certain orders on ideals
|
Borodulin-Nadzieja, Piotr
|
|
2011
|
|
1-2 |
p. 187-202
|
artikel
|
| 31 |
Chang’s Conjecture and weak square
|
Sakai, Hiroshi
|
|
2012
|
|
1-2 |
p. 29-45
|
artikel
|
| 32 |
Characterising Brouwer’s continuity by bar recursion on moduli of continuity
|
Fujiwara, Makoto
|
|
|
|
1-2 |
p. 241-263
|
artikel
|
| 33 |
Club degrees of rigidity and almost Kurepa trees
|
Fuchs, Gunter
|
|
2012
|
|
1-2 |
p. 47-66
|
artikel
|
| 34 |
Collapsing $$\omega _2$$ω2 with semi-proper forcing
|
Todorcevic, Stevo
|
|
2017
|
|
1-2 |
p. 185-194
|
artikel
|
| 35 |
Completeness with respect to a chain and universal models in fuzzy logic
|
Montagna, Franco
|
|
2010
|
|
1-2 |
p. 161-183
|
artikel
|
| 36 |
Complexity of Σn0-classifications for definable subsets
|
Aleksandrova, Svetlana
|
|
|
|
1-2 |
p. 239-256
|
artikel
|
| 37 |
Compositional truth with propositional tautologies and quantifier-free correctness
|
Wcisło, Bartosz
|
|
|
|
1-2 |
p. 239-257
|
artikel
|
| 38 |
Computable approximations of a chainable continuum with a computable endpoint
|
Iljazović, Zvonko
|
|
|
|
1-2 |
p. 181-201
|
artikel
|
| 39 |
Computable Ramsey’s theorem for pairs needs infinitely many $$\Pi ^0_2$$Π20 sets
|
Igusa, Gregory
|
|
2016
|
|
1-2 |
p. 155-160
|
artikel
|
| 40 |
Computable scott sentences for quasi–Hopfian finitely presented structures
|
Paolini, Gianluca
|
|
|
|
1-2 |
p. 55-65
|
artikel
|
| 41 |
Constructions of categories of setoids from proof-irrelevant families
|
Palmgren, Erik
|
|
2016
|
|
1-2 |
p. 51-66
|
artikel
|
| 42 |
Continuous logic and embeddings of Lebesgue spaces
|
McNicholl, Timothy H.
|
|
|
|
1-2 |
p. 105-119
|
artikel
|
| 43 |
Convergence of measures after adding a real
|
Sobota, Damian
|
|
|
|
1-2 |
p. 135-162
|
artikel
|
| 44 |
Convexity and unique minimum points
|
Berger, Josef
|
|
2018
|
|
1-2 |
p. 27-34
|
artikel
|
| 45 |
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations
|
Kalociński, Dariusz
|
|
|
|
1-2 |
p. 289-290
|
artikel
|
| 46 |
Creature forcing and large continuum: the joy of halving
|
Kellner, Jakob
|
|
2011
|
|
1-2 |
p. 49-70
|
artikel
|
| 47 |
Cut elimination by unthreading
|
Pulcini, Gabriele
|
|
|
|
1-2 |
p. 211-223
|
artikel
|
| 48 |
Deciding the existence of uniform interpolants over transitive models
|
D’Agostino, Giovanna
|
|
2010
|
|
1-2 |
p. 185-196
|
artikel
|
| 49 |
Dedicated to Richard Laver
|
|
|
2015
|
|
1-2 |
p. 1
|
artikel
|
| 50 |
Definable types in the theory of closed ordered differential fields
|
Brouette, Quentin
|
|
2016
|
|
1-2 |
p. 119-129
|
artikel
|
| 51 |
Degrees of isomorphism types and countably categorical groups
|
Ivanov, Aleksander
|
|
2011
|
|
1-2 |
p. 93-98
|
artikel
|
| 52 |
Degree structures of conjunctive reducibility
|
Chitaia, Irakli
|
|
|
|
1-2 |
p. 19-31
|
artikel
|
| 53 |
Diagonal reflections on squares
|
Fuchs, Gunter
|
|
2018
|
|
1-2 |
p. 1-26
|
artikel
|
| 54 |
Does weak quasi-o-minimality behave better than weak o-minimality?
|
Moconja, Slavko
|
|
|
|
1-2 |
p. 81-103
|
artikel
|
| 55 |
Domatic partitions of computable graphs
|
Jura, Matthew
|
|
2013
|
|
1-2 |
p. 137-155
|
artikel
|
| 56 |
Effective algebraicity
|
Steiner, Rebecca M.
|
|
2012
|
|
1-2 |
p. 91-112
|
artikel
|
| 57 |
Effective weak and vague convergence of measures on the real line
|
Rojas, Diego A.
|
|
|
|
1-2 |
p. 225-238
|
artikel
|
| 58 |
Elementary chains and C(n)-cardinals
|
Tsaprounis, Konstantinos
|
|
2013
|
|
1-2 |
p. 89-118
|
artikel
|
| 59 |
Equiconsistencies at subcompact cardinals
|
Neeman, Itay
|
|
2015
|
|
1-2 |
p. 207-238
|
artikel
|
| 60 |
Extendible cardinals and the mantle
|
Usuba, Toshimichi
|
|
2018
|
|
1-2 |
p. 71-75
|
artikel
|
| 61 |
Families of sets related to Rosenthal’s lemma
|
Sobota, Damian
|
|
2018
|
|
1-2 |
p. 53-69
|
artikel
|
| 62 |
Filter pairs and natural extensions of logics
|
Arndt, Peter
|
|
|
|
1-2 |
p. 113-145
|
artikel
|
| 63 |
First-order concatenation theory with bounded quantifiers
|
Kristiansen, Lars
|
|
|
|
1-2 |
p. 77-104
|
artikel
|
| 64 |
First-order theories of bounded trees
|
Kellerman, Ruaan
|
|
|
|
1-2 |
p. 263-297
|
artikel
|
| 65 |
Forking geometry on theories with an independent predicate
|
Carmona, Juan Felipe
|
|
2014
|
|
1-2 |
p. 247-255
|
artikel
|
| 66 |
Friedberg numberings in the Ershov hierarchy
|
Badaev, Serikzhan A.
|
|
2014
|
|
1-2 |
p. 59-73
|
artikel
|
| 67 |
Full and hat inductive definitions are equivalent in NBG
|
Sato, Kentaro
|
|
2014
|
|
1-2 |
p. 75-112
|
artikel
|
| 68 |
Generalization of Shapiro’s theorem to higher arities and noninjective notations
|
Kalociński, Dariusz
|
|
|
|
1-2 |
p. 257-288
|
artikel
|
| 69 |
Generalizing Kruskal’s theorem to pairs of cohabitating trees
|
Carlson, Timothy
|
|
2015
|
|
1-2 |
p. 37-48
|
artikel
|
| 70 |
Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom
|
Bagaria, Joan
|
|
2016
|
|
1-2 |
p. 1-20
|
artikel
|
| 71 |
Herbrand complexity and the epsilon calculus with equality
|
Miyamoto, Kenji
|
|
|
|
1-2 |
p. 89-118
|
artikel
|
| 72 |
Hilbert versus Hindman
|
Hirst, Jeffry L.
|
|
2011
|
|
1-2 |
p. 123-125
|
artikel
|
| 73 |
$$I_0$$I0 and combinatorics at $$\lambda ^+$$λ+
|
Shi, Xianghui
|
|
2016
|
|
1-2 |
p. 131-154
|
artikel
|
| 74 |
Indestructibility and destructible measurable cardinals
|
Apter, Arthur W.
|
|
2015
|
|
1-2 |
p. 3-18
|
artikel
|
| 75 |
Intermediate Logics and the de Jongh property
|
Jongh, Dick de
|
|
2010
|
|
1-2 |
p. 197-213
|
artikel
|
| 76 |
Interpretability degrees of finitely axiomatized sequential theories
|
Visser, Albert
|
|
2013
|
|
1-2 |
p. 23-42
|
artikel
|
| 77 |
Invariance results for definable extensions of groups
|
Edmundo, Mário J.
|
|
2010
|
|
1-2 |
p. 19-31
|
artikel
|
| 78 |
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness
|
Jenei, Sándor
|
|
|
|
1-2 |
p. 67-86
|
artikel
|
| 79 |
Isomorphic and strongly connected components
|
Kurilić, Miloš S.
|
|
2014
|
|
1-2 |
p. 35-48
|
artikel
|
| 80 |
Largest initial segments pointwise fixed by automorphisms of models of set theory
|
Enayat, Ali
|
|
2017
|
|
1-2 |
p. 91-139
|
artikel
|
| 81 |
Laver and set theory
|
Kanamori, Akihiro
|
|
2016
|
|
1-2 |
p. 133-164
|
artikel
|
| 82 |
Laver’s results and low-dimensional topology
|
Dehornoy, Patrick
|
|
2015
|
|
1-2 |
p. 49-83
|
artikel
|
| 83 |
Left division in the free left distributive algebra on many generators
|
Miller, Sheila K.
|
|
2015
|
|
1-2 |
p. 177-205
|
artikel
|
| 84 |
Locally compact groups which are separably categorical structures
|
Ivanov, Aleksander
|
|
2016
|
|
1-2 |
p. 67-78
|
artikel
|
| 85 |
Logics of left variable inclusion and Płonka sums of matrices
|
Bonzio, S.
|
|
|
|
1-2 |
p. 49-76
|
artikel
|
| 86 |
Many different covering numbers of Yorioka’s ideals
|
Osuga, Noboru
|
|
2013
|
|
1-2 |
p. 43-56
|
artikel
|
| 87 |
Martin’s maximum revisited
|
Viale, Matteo
|
|
2015
|
|
1-2 |
p. 295-317
|
artikel
|
| 88 |
Model theory of finite and pseudofinite groups
|
Macpherson, Dugald
|
|
2017
|
|
1-2 |
p. 159-184
|
artikel
|
| 89 |
MV-algebras, infinite dimensional polyhedra, and natural dualities
|
Cabrer, Leonardo M.
|
|
2016
|
|
1-2 |
p. 21-42
|
artikel
|
| 90 |
Non-deterministic inductive definitions
|
Berg, Benno van den
|
|
2012
|
|
1-2 |
p. 113-135
|
artikel
|
| 91 |
Normalisation and subformula property for a system of classical logic with Tarski’s rule
|
Kürbis, Nils
|
|
|
|
1-2 |
p. 105-129
|
artikel
|
| 92 |
Omitting types and AF algebras
|
Carlson, Kevin
|
|
2013
|
|
1-2 |
p. 157-169
|
artikel
|
| 93 |
On a question of Silver about gap-two cardinal transfer principles
|
Golshani, Mohammad
|
|
2017
|
|
1-2 |
p. 27-35
|
artikel
|
| 94 |
On countably saturated linear orders and certain class of countably saturated graphs
|
Kostana, Ziemowit
|
|
|
|
1-2 |
p. 189-209
|
artikel
|
| 95 |
On elementary equivalence in fuzzy predicate logics
|
Dellunde, Pilar
|
|
2012
|
|
1-2 |
p. 1-17
|
artikel
|
| 96 |
On Hilbert algebras generated by the order
|
Castiglioni, J. L.
|
|
|
|
1-2 |
p. 155-172
|
artikel
|
| 97 |
On some dynamical aspects of NIP theories
|
Mofidi, Alireza
|
|
2017
|
|
1-2 |
p. 37-71
|
artikel
|
| 98 |
On the contrapositive of countable choice
|
Ishihara, Hajime
|
|
2010
|
|
1-2 |
p. 137-143
|
artikel
|
| 99 |
On the strength of no normal precipitous filter
|
Gitik, Moti
|
|
2010
|
|
1-2 |
p. 223-243
|
artikel
|
| 100 |
On uncountable hypersimple unidimensional theories
|
Shami, Ziv
|
|
2013
|
|
1-2 |
p. 203-210
|
artikel
|
| 101 |
Partially definable forcing and bounded arithmetic
|
Atserias, Albert
|
|
2014
|
|
1-2 |
p. 1-33
|
artikel
|
| 102 |
Phase transitions of iterated Higman-style well-partial-orderings
|
Gordeev, Lev
|
|
2011
|
|
1-2 |
p. 127-161
|
artikel
|
| 103 |
Polynomial clone reducibility
|
Culver, Quinn
|
|
2013
|
|
1-2 |
p. 1-10
|
artikel
|
| 104 |
Positive logics
|
Shelah, Saharon
|
|
|
|
1-2 |
p. 207-223
|
artikel
|
| 105 |
Preface
|
Enayat, Ali
|
|
2017
|
|
1-2 |
p. 1-2
|
artikel
|
| 106 |
Projective Hausdorff gaps
|
Khomskii, Yurii
|
|
2013
|
|
1-2 |
p. 57-64
|
artikel
|
| 107 |
Proof analysis in intermediate logics
|
Dyckhoff, Roy
|
|
2011
|
|
1-2 |
p. 71-92
|
artikel
|
| 108 |
Proof-relevance of families of setoids and identity in type theory
|
Palmgren, Erik
|
|
2011
|
|
1-2 |
p. 35-47
|
artikel
|
| 109 |
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities
|
Šupina, Jaroslav
|
|
|
|
1-2 |
p. 87-112
|
artikel
|
| 110 |
Quelques réflexions inévitables
|
O. Wagner, Frank
|
|
2012
|
|
1-2 |
p. 159-171
|
artikel
|
| 111 |
Real closures of models of weak arithmetic
|
Jeřábek, Emil
|
|
2012
|
|
1-2 |
p. 143-157
|
artikel
|
| 112 |
Relations between the $${\mathcal {I}}$$I-ultrafilters
|
Hong, Jianyong
|
|
2016
|
|
1-2 |
p. 161-173
|
artikel
|
| 113 |
Representability and compactness for pseudopowers
|
Eisworth, Todd
|
|
|
|
1-2 |
p. 55-80
|
artikel
|
| 114 |
Representations of structural closure operators
|
Gil-Férez, José
|
|
2010
|
|
1-2 |
p. 45-73
|
artikel
|
| 115 |
Reverse mathematics and marriage problems with unique solutions
|
Hirst, Jeffry L.
|
|
2014
|
|
1-2 |
p. 49-57
|
artikel
|
| 116 |
Revisiting the conservativity of fixpoints over intuitionistic arithmetic
|
Granberg Olsson, Mattias
|
|
|
|
1-2 |
p. 61-87
|
artikel
|
| 117 |
Ring structure theorems and arithmetic comprehension
|
Wu, Huishan
|
|
|
|
1-2 |
p. 145-160
|
artikel
|
| 118 |
Rosenthal families, filters, and semifilters
|
Repický, Miroslav
|
|
|
|
1-2 |
p. 131-153
|
artikel
|
| 119 |
Second order arithmetic as the model companion of set theory
|
Venturi, Giorgio
|
|
|
|
1-2 |
p. 29-53
|
artikel
|
| 120 |
Selection properties of the split interval and the Continuum Hypothesis
|
Banakh, Taras
|
|
|
|
1-2 |
p. 121-133
|
artikel
|
| 121 |
Selfextensional logics with a distributive nearlattice term
|
González, Luciano J.
|
|
2018
|
|
1-2 |
p. 219-243
|
artikel
|
| 122 |
Semi-honest subrecursive degrees and the collection rule in arithmetic
|
Cordón-Franco, Andrés
|
|
|
|
1-2 |
p. 163-180
|
artikel
|
| 123 |
Sequent calculus for classical logic probabilized
|
Boričić, Marija
|
|
2018
|
|
1-2 |
p. 119-136
|
artikel
|
| 124 |
Small u(κ) at singular κ with compactness at κ++
|
Honzik, Radek
|
|
|
|
1-2 |
p. 33-54
|
artikel
|
| 125 |
Some complete ω-powers of a one-counter language, for any Borel class of finite rank
|
Finkel, Olivier
|
|
|
|
1-2 |
p. 161-187
|
artikel
|
| 126 |
Souslin algebra embeddings
|
Scharfenberger-Fabian, Gido
|
|
2010
|
|
1-2 |
p. 75-113
|
artikel
|
| 127 |
Sprague–Grundy theory in bounded arithmetic
|
Kuroda, Satoru
|
|
|
|
1-2 |
p. 233-262
|
artikel
|
| 128 |
Strange ultrafilters
|
Gitik, Moti
|
|
2018
|
|
1-2 |
p. 35-52
|
artikel
|
| 129 |
Strong cell decomposition property in o-minimal traces
|
Tari, Somayyeh
|
|
|
|
1-2 |
p. 135-144
|
artikel
|
| 130 |
Strong downward Löwenheim–Skolem theorems for stationary logics, I
|
Fuchino, Sakaé
|
|
|
|
1-2 |
p. 17-47
|
artikel
|
| 131 |
Strongly adequate sets and adding a club with finite conditions
|
Krueger, John
|
|
2013
|
|
1-2 |
p. 119-136
|
artikel
|
| 132 |
Strong measure zero in separable metric spaces and Polish groups
|
Hrušák, Michael
|
|
2016
|
|
1-2 |
p. 105-131
|
artikel
|
| 133 |
Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$K(R)
|
Cunningham, Daniel W.
|
|
2014
|
|
1-2 |
p. 173-192
|
artikel
|
| 134 |
Subdirectly irreducible state-morphism BL-algebras
|
Dvurečenskij, Anatolij
|
|
2010
|
|
1-2 |
p. 145-160
|
artikel
|
| 135 |
Successive cardinals with no partial square
|
Krueger, John
|
|
2013
|
|
1-2 |
p. 11-21
|
artikel
|
| 136 |
Superrosiness and dense pairs of geometric structures
|
Boxall, Gareth J.
|
|
|
|
1-2 |
p. 203-209
|
artikel
|
| 137 |
Superstrong and other large cardinals are never Laver indestructible
|
Bagaria, Joan
|
|
2015
|
|
1-2 |
p. 19-35
|
artikel
|
| 138 |
The additive structure of integers with the lower Wythoff sequence
|
Khani, Mohsen
|
|
|
|
1-2 |
p. 225-237
|
artikel
|
| 139 |
The binary expansion and the intermediate value theorem in constructive reverse mathematics
|
Berger, Josef
|
|
2018
|
|
1-2 |
p. 203-217
|
artikel
|
| 140 |
The conjugacy problem for the automorphism group of the random graph
|
Coskey, Samuel
|
|
2010
|
|
1-2 |
p. 215-221
|
artikel
|
| 141 |
The Dirac delta function in two settings of Reverse Mathematics
|
Sanders, Sam
|
|
2011
|
|
1-2 |
p. 99-121
|
artikel
|
| 142 |
The fixed point and the Craig interpolation properties for sublogics of IL
|
Iwata, Sohei
|
|
|
|
1-2 |
p. 1-37
|
artikel
|
| 143 |
The independence of GCH and a combinatorial principle related to Banach–Mazur games
|
Brian, Will
|
|
|
|
1-2 |
p. 1-17
|
artikel
|
| 144 |
The iterability hierarchy above $${{\mathrm{\mathsf {I3}}}}$$I3
|
Andretta, Alessandro
|
|
2018
|
|
1-2 |
p. 77-97
|
artikel
|
| 145 |
The long extender algebra
|
Schindler, Ralf
|
|
2017
|
|
1-2 |
p. 73-82
|
artikel
|
| 146 |
The short extenders gap three forcing using a morass
|
Merimovich, Carmi
|
|
2010
|
|
1-2 |
p. 115-135
|
artikel
|
| 147 |
The small index property for homogeneous models in AEC’s
|
Ghadernezhad, Zaniar
|
|
2017
|
|
1-2 |
p. 141-157
|
artikel
|
| 148 |
The taming of recurrences in computability logic through cirquent calculus, Part I
|
Japaridze, Giorgi
|
|
2012
|
|
1-2 |
p. 173-212
|
artikel
|
| 149 |
The taming of recurrences in computability logic through cirquent calculus, Part II
|
Japaridze, Giorgi
|
|
2012
|
|
1-2 |
p. 213-259
|
artikel
|
| 150 |
The tree property at the successor of a singular limit of measurable cardinals
|
Golshani, Mohammad
|
|
2017
|
|
1-2 |
p. 3-25
|
artikel
|
| 151 |
The Weak Ultrafilter Axiom
|
Woodin, W. Hugh
|
|
2015
|
|
1-2 |
p. 319-351
|
artikel
|
| 152 |
Transseries and Todorov–Vernaeve’s asymptotic fields
|
Aschenbrenner, Matthias
|
|
2013
|
|
1-2 |
p. 65-87
|
artikel
|
| 153 |
Tree indiscernibilities, revisited
|
Kim, Byunghan
|
|
2013
|
|
1-2 |
p. 211-232
|
artikel
|
| 154 |
Turing degrees and randomness for continuous measures
|
Li, Mingyang
|
|
|
|
1-2 |
p. 39-59
|
artikel
|
| 155 |
Type space functors and interpretations in positive logic
|
Kamsma, Mark
|
|
|
|
1-2 |
p. 1-28
|
artikel
|
| 156 |
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I
|
Schlindwein, Chaz
|
|
2013
|
|
1-2 |
p. 171-202
|
artikel
|
| 157 |
Uniform interpolation and sequent calculi in modal logic
|
Iemhoff, Rosalie
|
|
2018
|
|
1-2 |
p. 155-181
|
artikel
|
| 158 |
Various forms of infinity for finitely supported structures
|
Alexandru, Andrei
|
|
|
|
1-2 |
p. 173-222
|
artikel
|
| 159 |
Well-partial-orderings and the big Veblen number
|
Meeren, Jeroen Van der
|
|
2014
|
|
1-2 |
p. 193-230
|
artikel
|
| 160 |
ZF + DC + AX4
|
Shelah, Saharon
|
|
2016
|
|
1-2 |
p. 239-294
|
artikel
|
Tijdschrift beschrijving