nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
About Goodmanʼs Theorem
|
Coquand, Thierry |
|
2013 |
|
4 |
p. 437-442 6 p. |
artikel |
2 |
A characterization of generalized existential completions
|
Maietti, Maria Emilia |
|
|
|
4 |
p. |
artikel |
3 |
A characterization of those categories whose internal logic is Hilbert's ε-calculus
|
Pasquali, Fabio |
|
2019 |
|
4 |
p. 446-464 |
artikel |
4 |
A characterization theorem for geometric logic
|
Caramello, Olivia |
|
2011 |
|
4 |
p. 318-321 4 p. |
artikel |
5 |
Admissible rules for six intuitionistic modal logics
|
van der Giessen, Iris |
|
|
|
4 |
p. |
artikel |
6 |
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory
|
Powell, Thomas |
|
|
|
4 |
p. |
artikel |
7 |
A large pairwise far family of Aronszajn trees
|
Krueger, John |
|
|
|
4 |
p. |
artikel |
8 |
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
|
Ma, Minghui |
|
2014 |
|
4 |
p. 963-995 33 p. |
artikel |
9 |
A modal logic framework for reasoning about comparative distances and topology
|
Sheremet, Mikhail |
|
2010 |
|
4 |
p. 534-559 26 p. |
artikel |
10 |
A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees
|
Yorioka, Teruyuki |
|
2010 |
|
4 |
p. 469-487 19 p. |
artikel |
11 |
A note on non-classical nonstandard arithmetic
|
Sanders, Sam |
|
2019 |
|
4 |
p. 427-445 |
artikel |
12 |
A parametrised functional interpretation of Heyting arithmetic
|
Dinis, Bruno |
|
|
|
4 |
p. |
artikel |
13 |
Applying generic coding with help to uniformizations
|
Hathaway, Dan |
|
|
|
4 |
p. |
artikel |
14 |
A short note on groups in separably closed valued fields
|
Rideau-Kikuchi, Silvain |
|
|
|
4 |
p. |
artikel |
15 |
A sorting network in bounded arithmetic
|
Jeřábek, Emil |
|
2011 |
|
4 |
p. 341-355 15 p. |
artikel |
16 |
Asymptotic probabilities of extension properties and random l -colourable structures
|
Koponen, Vera |
|
2012 |
|
4 |
p. 391-438 48 p. |
artikel |
17 |
Bootstrapping, part I
|
Boughattas, S. |
|
2010 |
|
4 |
p. 511-533 23 p. |
artikel |
18 |
Bounded linear-time temporal logic: A proof-theoretic investigation
|
Kamide, Norihiro |
|
2012 |
|
4 |
p. 439-466 28 p. |
artikel |
19 |
Cantor theorem and friends, in logical form
|
Valentini, Silvio |
|
2013 |
|
4 |
p. 502-508 7 p. |
artikel |
20 |
Characterising dominated weak-operator continuous functionals on subspaces of B ( H )
|
Bridges, Douglas S. |
|
2013 |
|
4 |
p. 416-420 5 p. |
artikel |
21 |
Characterizations of ordinal analysis
|
Walsh, James |
|
|
|
4 |
p. |
artikel |
22 |
Combinatorics at ℵ ω
|
Sinapova, Dima |
|
2014 |
|
4 |
p. 996-1007 12 p. |
artikel |
23 |
Comparing material and structural set theories
|
Shulman, Michael |
|
2019 |
|
4 |
p. 465-504 |
artikel |
24 |
Completeness theorems for σ–additive probabilistic semantics
|
Ikodinović, Nebojša |
|
|
|
4 |
p. |
artikel |
25 |
Complexity in Young's lattice
|
Wires, Alexander |
|
|
|
4 |
p. |
artikel |
26 |
Complicated colorings, revisited
|
Rinot, Assaf |
|
|
|
4 |
p. |
artikel |
27 |
Computable neighbourhoods of points in semicomputable manifolds
|
Iljazović, Zvonko |
|
2017 |
|
4 |
p. 840-859 20 p. |
artikel |
28 |
Contents
|
|
|
2013 |
|
4 |
p. iv- 1 p. |
artikel |
29 |
Continuous extension of maps between sequential cascades
|
Dolecki, Szymon |
|
|
|
4 |
p. |
artikel |
30 |
Covering the recursive sets
|
Kjos-Hanssen, Bjørn |
|
2017 |
|
4 |
p. 804-823 20 p. |
artikel |
31 |
Definably topological dynamics of p-adic algebraic groups
|
Bao, Jiaqi |
|
|
|
4 |
p. |
artikel |
32 |
Definitional Reflection and Basic Logic
|
Schroeder-Heister, Peter |
|
2013 |
|
4 |
p. 491-501 11 p. |
artikel |
33 |
Editorial Board
|
|
|
2016 |
|
4 |
p. IFC- 1 p. |
artikel |
34 |
Editorial Board
|
|
|
2018 |
|
4 |
p. ii |
artikel |
35 |
Editorial Board
|
|
|
2014 |
|
4 |
p. IFC- 1 p. |
artikel |
36 |
Editorial Board
|
|
|
2015 |
|
4 |
p. IFC- 1 p. |
artikel |
37 |
Editorial Board
|
|
|
|
|
4 |
p. |
artikel |
38 |
Editorial Board
|
|
|
2019 |
|
4 |
p. ii |
artikel |
39 |
Editorial Board
|
|
|
|
|
4 |
p. |
artikel |
40 |
Editorial Board
|
|
|
|
|
4 |
p. |
artikel |
41 |
Editorial Board
|
|
|
|
|
4 |
p. |
artikel |
42 |
Editorial Board
|
|
|
|
|
4 |
p. |
artikel |
43 |
Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283]
|
Glass, A.M.W. |
|
2016 |
|
4 |
p. 431-433 3 p. |
artikel |
44 |
Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false
|
Popova, S.N. |
|
2019 |
|
4 |
p. 505-514 |
artikel |
45 |
Finitary unification in locally tabular modal logics characterized
|
Dzik, Wojciech |
|
|
|
4 |
p. |
artikel |
46 |
Ideal topologies in higher descriptive set theory
|
Holy, Peter |
|
|
|
4 |
p. |
artikel |
47 |
Isolated maximal d.r.e. degrees
|
Liu, Yong |
|
2019 |
|
4 |
p. 515-538 |
artikel |
48 |
Leibniz interpolation properties
|
Cabrer, Leonardo |
|
2014 |
|
4 |
p. 933-962 30 p. |
artikel |
49 |
Locally definable homotopy
|
Baro, Elías |
|
2010 |
|
4 |
p. 488-503 16 p. |
artikel |
50 |
Long games and σ-projective sets
|
Aguilera, Juan P. |
|
|
|
4 |
p. |
artikel |
51 |
Martin–Löf random generalized Poisson processes
|
Axon, Logan |
|
2018 |
|
4 |
p. 261-276 |
artikel |
52 |
Notes on some second-order systems of iterated inductive definitions and Π 1 1 -comprehensions and relevant subsystems of set theory
|
Fujimoto, Kentaro |
|
2015 |
|
4 |
p. 409-463 55 p. |
artikel |
53 |
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
|
Guingona, Vincent |
|
2015 |
|
4 |
p. 502-525 24 p. |
artikel |
54 |
On existential definitions of c.e. subsets of rings of functions of characteristic 0
|
Miller, Russell |
|
|
|
4 |
p. |
artikel |
55 |
On non-self-referential fragments of modal logics
|
Yu, Junhua |
|
2017 |
|
4 |
p. 776-803 28 p. |
artikel |
56 |
On some definable sets over fields with analytic structure
|
Fırat Çelı̇kler, Y. |
|
2010 |
|
4 |
p. 599-616 18 p. |
artikel |
57 |
On subrecursive complexity of integration
|
Georgiev, Ivan |
|
|
|
4 |
p. |
artikel |
58 |
On the definability of mad families of vector spaces
|
Horowitz, Haim |
|
|
|
4 |
p. |
artikel |
59 |
On theories of bounded arithmetic for NC 1
|
Jeřábek, Emil |
|
2011 |
|
4 |
p. 322-340 19 p. |
artikel |
60 |
On the structure of certain valued fields
|
Lee, Junguk |
|
|
|
4 |
p. |
artikel |
61 |
On the T 1 axiom and other separation properties in constructive point-free and point-set topology
|
Aczel, Peter |
|
2010 |
|
4 |
p. 560-569 10 p. |
artikel |
62 |
Ordered asymptotic classes of finite structures
|
García, Darío |
|
|
|
4 |
p. |
artikel |
63 |
Ordinals and graph decompositions
|
Flood, Stephen |
|
2017 |
|
4 |
p. 824-839 16 p. |
artikel |
64 |
Polish G-spaces and continuous logic
|
Ivanov, A. |
|
2017 |
|
4 |
p. 749-775 27 p. |
artikel |
65 |
Preface
|
|
|
2013 |
|
4 |
p. 395- 1 p. |
artikel |
66 |
Preserving levels of projective determinacy by tree forcings
|
Castiblanco, Fabiana |
|
|
|
4 |
p. |
artikel |
67 |
Quantum set theory: Transfer Principle and De Morgan's Laws
|
Ozawa, Masanao |
|
|
|
4 |
p. |
artikel |
68 |
Randomness for computable measures and initial segment complexity
|
Hölzl, Rupert |
|
2017 |
|
4 |
p. 860-886 27 p. |
artikel |
69 |
Recognizable sets and Woodin cardinals: computation beyond the constructible universe
|
Carl, Merlin |
|
2018 |
|
4 |
p. 312-332 |
artikel |
70 |
Reflection principles and second-order choice principles with urelements
|
Yao, Bokai |
|
|
|
4 |
p. |
artikel |
71 |
Regularity properties on the generalized reals
|
Friedman, Sy David |
|
2016 |
|
4 |
p. 408-430 23 p. |
artikel |
72 |
Regular opens in constructive topology and a representation theorem for overlap algebras
|
Ciraulo, Francesco |
|
2013 |
|
4 |
p. 421-436 16 p. |
artikel |
73 |
Relating Bishopʼs function spaces to neighbourhood spaces
|
Ishihara, Hajime |
|
2013 |
|
4 |
p. 482-490 9 p. |
artikel |
74 |
Rudimentary and arithmetical constructive set theory
|
Aczel, Peter |
|
2013 |
|
4 |
p. 396-415 20 p. |
artikel |
75 |
Sets in Prikry and Magidor generic extensions
|
Benhamou, Tom |
|
|
|
4 |
p. |
artikel |
76 |
Set-theoretic geology
|
Fuchs, Gunter |
|
2015 |
|
4 |
p. 464-501 38 p. |
artikel |
77 |
Sharp Vaught's conjecture for some classes of partial orders
|
Kurilić, Miloš S. |
|
|
|
4 |
p. |
artikel |
78 |
λ -structures and s -structures: Translating the models
|
Fuchs, Gunter |
|
2011 |
|
4 |
p. 257-317 61 p. |
artikel |
79 |
Symmetry and the union of saturated models in superstable abstract elementary classes
|
VanDieren, M.M. |
|
2016 |
|
4 |
p. 395-407 13 p. |
artikel |
80 |
Syntax for split preorders
|
Došen, Kosta |
|
2013 |
|
4 |
p. 443-481 39 p. |
artikel |
81 |
Tangled modal logic for topological dynamics
|
Fernández-Duque, David |
|
2012 |
|
4 |
p. 467-481 15 p. |
artikel |
82 |
The full basis theorem does not imply analytic wellordering
|
Kanovei, Vladimir |
|
|
|
4 |
p. |
artikel |
83 |
The Löwenheim-Skolem theorem for Gödel logic
|
Aguilera, J.P. |
|
|
|
4 |
p. |
artikel |
84 |
The omega-rule interpretation of transfinite provability logic
|
Fernández-Duque, David |
|
2018 |
|
4 |
p. 333-371 |
artikel |
85 |
The strength of sharply bounded induction requires M S P
|
Boughattas, Sedki |
|
2010 |
|
4 |
p. 504-510 7 p. |
artikel |
86 |
The tree property at the ℵ 2 n 's and the failure of SCH at ℵ ω
|
Friedman, Sy-David |
|
2015 |
|
4 |
p. 526-552 27 p. |
artikel |
87 |
Topological differential fields
|
Guzy, Nicolas |
|
2010 |
|
4 |
p. 570-598 29 p. |
artikel |
88 |
Topology and measure in logics for region-based theories of space
|
Lando, Tamar |
|
2018 |
|
4 |
p. 277-311 |
artikel |
89 |
Towards characterizing the >ω 2-fickle recursively enumerable Turing degrees
|
Ko, Liling |
|
|
|
4 |
p. |
artikel |
90 |
Typical forcings, NP search problems and an extension of a theorem of Riis
|
Müller, Moritz |
|
|
|
4 |
p. |
artikel |
91 |
Weak and strong versions of Effective Transfinite Recursion
|
Uftring, Patrick |
|
|
|
4 |
p. |
artikel |