nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Characterization of the free n-generated MV-algebra
|
Mundici, Daniele |
|
2005 |
|
2 |
p. 239-247 |
artikel |
2 |
A class of $${\Sigma _{3}^{0}}$$ modular lattices embeddable as principal filters in $${\mathcal{L}^{\ast }(V_{\infty })}$$
|
Dimitrov, Rumen |
|
2008 |
|
2 |
p. 111-132 |
artikel |
3 |
A Connection Between Cut Elimination and Normalization
|
Borisavljević, Mirjana |
|
2005 |
|
2 |
p. 113-148 |
artikel |
4 |
A direct independence proof of Buchholz's Hydra Game on finite labeled trees
|
Hamano, Masahiro |
|
1998 |
|
2 |
p. 67-89 |
artikel |
5 |
Adjoining cofinitary permutations (II)
|
Zhang, Yi |
|
2003 |
|
2 |
p. 153-163 |
artikel |
6 |
A generalization of the Dual Ellentuck Theorem
|
Halbeisen, Lorenz |
|
2003 |
|
2 |
p. 103-128 |
artikel |
7 |
A hierarchy of hereditarily finite sets
|
Kirby, Laurence |
|
2008 |
|
2 |
p. 143-157 |
artikel |
8 |
A jump operator on honest subrecursive degrees
|
Kristiansen, Lars |
|
1998 |
|
2 |
p. 105-125 |
artikel |
9 |
A logical and algebraic treatment of conditional probability
|
Flaminio , Tommaso |
|
2004 |
|
2 |
p. 245-262 |
artikel |
10 |
Amalgamation properties and finite models in Ln-theories
|
Baldwin, John |
|
2002 |
|
2 |
p. 155-167 |
artikel |
11 |
Analytic combinatory calculi and the elimination of transitivity
|
Minari, Pierluigi |
|
2004 |
|
2 |
p. 159-191 |
artikel |
12 |
A new condensation principle
|
Räsch, Thoralf |
|
2004 |
|
2 |
p. 159-166 |
artikel |
13 |
An intuitionistic proof of Kruskal’s theorem
|
Veldman, Wim |
|
2004 |
|
2 |
p. 215-264 |
artikel |
14 |
An ordinal analysis for theories of self-referential truth
|
Leigh, Graham Emil |
|
2010 |
|
2 |
p. 213-247 |
artikel |
15 |
A note on Spector's quantifier-free rule of extensionality
|
Kohlenbach, Ulrich |
|
2000 |
|
2 |
p. 89-92 |
artikel |
16 |
A note on the theory of positive induction, $${{\rm ID}^*_1}$$
|
Afshari, Bahareh |
|
2009 |
|
2 |
p. 275-281 |
artikel |
17 |
A note on weak dividing
|
Kim, Byunghan |
|
2006 |
|
2 |
p. 51-60 |
artikel |
18 |
A notion of rank in set theory without choice
|
Mendick, G.S. |
|
2003 |
|
2 |
p. 165-178 |
artikel |
19 |
A solution to Curry and Hindley’s problem on combinatory strong reduction
|
Minari, Pierluigi |
|
2008 |
|
2 |
p. 159-184 |
artikel |
20 |
A superatomic Boolean algebra with few automorphisms
|
Rubin, Matatyahu |
|
2000 |
|
2 |
p. 125-129 |
artikel |
21 |
A topological completeness theorem
|
Butz, Carsten |
|
1999 |
|
2 |
p. 79-101 |
artikel |
22 |
Coding lemmata in L
|
Kafkoulis, George |
|
2004 |
|
2 |
p. 193-213 |
artikel |
23 |
Complexity of admissible rules
|
Jeřábek, Emil |
|
2007 |
|
2 |
p. 73-92 |
artikel |
24 |
Computability in Europe 2008
|
Beckmann, Arnold |
|
2009 |
|
2 |
p. 119-121 |
artikel |
25 |
Computational complexity of logical theories of one successor and another unary function
|
Michel, Pascal |
|
2007 |
|
2 |
p. 123-148 |
artikel |
26 |
Constructing local optima on a compact interval
|
Bridges, Douglas S. |
|
2007 |
|
2 |
p. 149-154 |
artikel |
27 |
Counting proofs in propositional logic
|
David, René |
|
2009 |
|
2 |
p. 185-199 |
artikel |
28 |
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
|
Kumabe, Masahiro |
|
2008 |
|
2 |
p. 159-180 |
artikel |
29 |
Epsilon substitution method for theories of jump hierarchies
|
Arai, Toshiyasu |
|
2002 |
|
2 |
p. 123-153 |
artikel |
30 |
Every incomplete computably enumerable truth-table degree is branching
|
Fejer, Peter A. |
|
2000 |
|
2 |
p. 113-123 |
artikel |
31 |
Existentially closed fields with holomorphy rings
|
Schmid, Joachim |
|
1997 |
|
2 |
p. 127-135 |
artikel |
32 |
Freiling's axioms of symmetry in a general setting and some applications
|
Tzouvaras, Athanassios |
|
2000 |
|
2 |
p. 131-145 |
artikel |
33 |
Fuzzy Horn logic II
|
Bělohlávek, Radim |
|
2005 |
|
2 |
p. 149-177 |
artikel |
34 |
Groupwise dense families
|
Mildenberger, Heike |
|
2000 |
|
2 |
p. 93-112 |
artikel |
35 |
Harrington’s conservation theorem redone
|
Ferreira, Fernando |
|
2008 |
|
2 |
p. 91-100 |
artikel |
36 |
$\hbox{\sf N}$-strictness in applicative theories
|
Kahle, Reinhard |
|
2000 |
|
2 |
p. 125-144 |
artikel |
37 |
Indestructibility and measurable cardinals with few and many measures
|
Apter, Arthur W. |
|
2008 |
|
2 |
p. 101-110 |
artikel |
38 |
Isolation in the CEA hierarchy
|
LaForte, Geoffrey |
|
2004 |
|
2 |
p. 227-244 |
artikel |
39 |
Joining to high degrees via noncuppables
|
Liu, Jiang |
|
2009 |
|
2 |
p. 195-211 |
artikel |
40 |
Kripke models for subtheories of CZF
|
Iemhoff, Rosalie |
|
2009 |
|
2 |
p. 147-167 |
artikel |
41 |
Labelling classes by sets
|
Marshall, M. Victoria |
|
2004 |
|
2 |
p. 219-226 |
artikel |
42 |
Large cardinals and projective sets
|
Judah, Haim |
|
1997 |
|
2 |
p. 137-155 |
artikel |
43 |
Lifting elementary embeddings j: Vλ → Vλ
|
Corazza, Paul |
|
2007 |
|
2 |
p. 61-72 |
artikel |
44 |
Lifting independence results in bounded arithmetic
|
Chiari, Mario |
|
1999 |
|
2 |
p. 123-138 |
artikel |
45 |
Lowness for genericity
|
Yu, Liang |
|
2005 |
|
2 |
p. 233-238 |
artikel |
46 |
Modularity of proof-nets
|
Maieli, Roberto |
|
2004 |
|
2 |
p. 167-193 |
artikel |
47 |
Non-commutative Łukasiewicz propositional logic
|
Leuştean, Ioana |
|
2005 |
|
2 |
p. 191-213 |
artikel |
48 |
Normal subgroups of nonstandard symmetric and alternating groups
|
Allsup, John |
|
2007 |
|
2 |
p. 107-121 |
artikel |
49 |
On completeness of the quotient algebras ${\cal P}(\kappa)/I$
|
Kanai, Yasuo |
|
2000 |
|
2 |
p. 75-87 |
artikel |
50 |
On stability in finite models
|
Hyttinen, Tapani |
|
2000 |
|
2 |
p. 89-102 |
artikel |
51 |
On the algebraic structure of linear, relevance, and fuzzy logics
|
Paoli, Francesco |
|
2002 |
|
2 |
p. 107-121 |
artikel |
52 |
Parameterized partition relations on the real numbers
|
Bagaria, Joan |
|
2009 |
|
2 |
p. 201-226 |
artikel |
53 |
Polytime, combinatory logic and positive safe induction
|
Cantini, Andrea |
|
2002 |
|
2 |
p. 169-189 |
artikel |
54 |
Q-measures on Qκλ
|
Wu, Guohua |
|
2003 |
|
2 |
p. 201-204 |
artikel |
55 |
Refined common knowledge logics or logics of common information
|
Rybakov, V.V. |
|
2003 |
|
2 |
p. 179-200 |
artikel |
56 |
Residuated fuzzy logics with an involutive negation
|
Esteva, Francesc |
|
2000 |
|
2 |
p. 103-124 |
artikel |
57 |
Semifree actions of free groups
|
Hils, Martin |
|
2007 |
|
2 |
p. 93-105 |
artikel |
58 |
Set theory without choice: not everything on cofinality is possible
|
Shelah, Saharon |
|
1997 |
|
2 |
p. 81-125 |
artikel |
59 |
Setting-up early computer programs: D. H. Lehmer’s ENIAC computation
|
Bullynck, Maarten |
|
2009 |
|
2 |
p. 123-146 |
artikel |
60 |
Strong reducibility of partial numberings
|
Spreen, Dieter |
|
2004 |
|
2 |
p. 209-217 |
artikel |
61 |
The basic theory of infinite time register machines
|
Carl, Merlin |
|
2010 |
|
2 |
p. 249-273 |
artikel |
62 |
The decision problem for ${\vec Z}C(p^3)$-lattices with $p$ prime
|
Toffalori, Carlo |
|
1998 |
|
2 |
p. 127-142 |
artikel |
63 |
The Karp complexity of unstable classes
|
Laskowski, M.C. |
|
2000 |
|
2 |
p. 69-88 |
artikel |
64 |
The length of some diagonalization games
|
Scheepers, Marion |
|
1999 |
|
2 |
p. 103-122 |
artikel |
65 |
The limitations of cupping in the local structure of the enumeration degrees
|
Soskova, Mariya I. |
|
2009 |
|
2 |
p. 169-193 |
artikel |
66 |
The logic of equilibrium and abelian lattice ordered groups
|
Galli, Adriana |
|
2004 |
|
2 |
p. 141-158 |
artikel |
67 |
The Medvedev lattice of computably closed sets
|
Terwijn, Sebastiaan A. |
|
2005 |
|
2 |
p. 179-190 |
artikel |
68 |
The polarized Ramsey’s theorem
|
Dzhafarov, Damir D. |
|
2008 |
|
2 |
p. 141-157 |
artikel |
69 |
There is no ordering on the classes in the generalized high/low hierarchies
|
Montalbán, Antonio |
|
2005 |
|
2 |
p. 215-231 |
artikel |
70 |
The theory of ${\vec Z}C(2)^2$-lattices is decidable
|
Baratella, Stefano |
|
1998 |
|
2 |
p. 91-104 |
artikel |
71 |
Ultrafilters, monotone functions and pseudocompactness
|
Hrušák, M. |
|
2004 |
|
2 |
p. 131-157 |
artikel |
72 |
Universal indestructibility for degrees of supercompactness and strongly compact cardinals
|
Apter, Arthur W. |
|
2008 |
|
2 |
p. 133-142 |
artikel |
73 |
Universes in metapredicative analysis
|
Rüede, Christian |
|
2003 |
|
2 |
p. 129-151 |
artikel |
74 |
Vitali's Theorem and WWKL
|
Brown, Douglas K. |
|
2002 |
|
2 |
p. 191-206 |
artikel |
75 |
Weak dividing, chain conditions, and simplicity
|
Dolich, Alfred |
|
2003 |
|
2 |
p. 265-283 |
artikel |
76 |
Weak theories of linear algebra
|
Thapen, Neil |
|
2004 |
|
2 |
p. 195-208 |
artikel |