| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A characterization of MV-algebras free over finite distributive lattices
|
Marra, Vincenzo
|
|
2008
|
|
3 |
p. 263-276
|
article
|
| 2 |
A characterization of the $\Sigma_1$-definable functions of $KP\omega + (uniform\; AC)$
|
Burr, Wolfgang
|
|
1998
|
|
3 |
p. 199-214
|
article
|
| 3 |
Adding Skolem functions to simple theories
|
Nübling, Herwig
|
|
2004
|
|
3 |
p. 359-370
|
article
|
| 4 |
A Gentzen-style axiomatization for basic predicate calculus
|
Aghaei, Mojtaba
|
|
2003
|
|
3 |
p. 245-259
|
article
|
| 5 |
A high noncuppable $${\Sigma^0_2}$$e-degree
|
Giorgi, Matthew B.
|
|
2008
|
|
3 |
p. 181-191
|
article
|
| 6 |
All finitely axiomatizable subframe logics containing the provability logic CSM$_{0}$ are decidable
|
Wolter, Frank
|
|
1998
|
|
3 |
p. 167-182
|
article
|
| 7 |
A new correctness criterion for multiplicative non-commutative proof nets
|
Maieli, Roberto
|
|
2003
|
|
3 |
p. 205-220
|
article
|
| 8 |
A new proof of a theorem of Magidor
|
Apter, Arthur W.
|
|
2000
|
|
3 |
p. 209-211
|
article
|
| 9 |
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets
|
Beckmann, Arnold
|
|
2002
|
|
3 |
p. 251-257
|
article
|
| 10 |
An ordinal analysis of parameter free Π12-comprehension
|
Rathjen, Michael
|
|
2004
|
|
3 |
p. 263-362
|
article
|
| 11 |
A parallel game semantics for Linear Logic
|
Baratella, Stefano
|
|
1997
|
|
3 |
p. 189-217
|
article
|
| 12 |
A relative interpolation theorem for infinitary universal Horn logic and its applications
|
Pynko, Alexej P.
|
|
|
|
3 |
p. 267-305
|
article
|
| 13 |
A relative interpolation theorem for infinitary universal Horn logic and its applications
|
Pynko, Alexej P.
|
|
2006
|
|
3 |
p. 267-305
|
article
|
| 14 |
A semantical proof of the strong normalization theorem for full propositional classical natural deduction
|
Nour, Karim
|
|
|
|
3 |
p. 357-364
|
article
|
| 15 |
A semantical proof of the strong normalization theorem for full propositional classical natural deduction
|
Nour, Karim
|
|
2005
|
|
3 |
p. 357-364
|
article
|
| 16 |
Asymmetric RK-minimal types
|
Tanović, Predrag
|
|
2010
|
|
3 |
p. 367-377
|
article
|
| 17 |
Barwise's information frames and modal logics
|
Rybakov, V.V.
|
|
2003
|
|
3 |
p. 261-277
|
article
|
| 18 |
Branching in the $${\Sigma^0_2}$$ -enumeration degrees: a new perspective
|
Affatato, Maria L.
|
|
2008
|
|
3 |
p. 221-231
|
article
|
| 19 |
Computability in structures representing a Scott set
|
McAllister, Alex M.
|
|
2001
|
|
3 |
p. 147-165
|
article
|
| 20 |
Computability of measurable sets via effective topologies
|
Wu, Yongcheng
|
|
|
|
3 |
p. 365-379
|
article
|
| 21 |
Computability of measurable sets via effective topologies
|
Wu, Yongcheng
|
|
2005
|
|
3 |
p. 365-379
|
article
|
| 22 |
Computable shuffle sums of ordinals
|
Kach, Asher M.
|
|
2008
|
|
3 |
p. 211-219
|
article
|
| 23 |
Consistency of V = HOD with the wholeness axiom
|
Corazza, Paul
|
|
2000
|
|
3 |
p. 219-226
|
article
|
| 24 |
Consistency proof via pointwise induction
|
Arai, Toshiyasu
|
|
1998
|
|
3 |
p. 149-165
|
article
|
| 25 |
Count($q$) versus the pigeon-hole principle
|
Riis, Søren
|
|
1997
|
|
3 |
p. 157-188
|
article
|
| 26 |
Cut elimination for a calculus with context-dependent rules
|
Elbl, Birgit
|
|
2001
|
|
3 |
p. 167-188
|
article
|
| 27 |
Definability of second order generalized quantifiers
|
Kontinen, Juha
|
|
2010
|
|
3 |
p. 379-398
|
article
|
| 28 |
Diamond, square, and level by level equivalence
|
Apter, Arthur W.
|
|
2004
|
|
3 |
p. 387-395
|
article
|
| 29 |
Diophantine properties of finite commutative rings
|
Prunescu, Mihai
|
|
2003
|
|
3 |
p. 293-302
|
article
|
| 30 |
Elimination of algorithmic quantifiers for ordered differential algebra
|
Shen, Yunfu
|
|
1999
|
|
3 |
p. 139-144
|
article
|
| 31 |
Embeddings into the Medvedev and Muchnik lattices of Π01 classes
|
Binns, Stephen
|
|
2004
|
|
3 |
p. 399-414
|
article
|
| 32 |
Extending Martin-Löf Type Theory by one Mahlo-universe
|
Setzer, Anton
|
|
2000
|
|
3 |
p. 155-181
|
article
|
| 33 |
Extending strongly continuous functions between apartness spaces
|
Vîţă, Luminiţa Simona
|
|
|
|
3 |
p. 351-356
|
article
|
| 34 |
Extending strongly continuous functions between apartness spaces
|
Vîţă, Luminiţa Simona
|
|
2005
|
|
3 |
p. 351-356
|
article
|
| 35 |
Extensions of Hałkowska–Zajac's three-valued paraconsistent logic
|
Pynko, Alexej P.
|
|
2002
|
|
3 |
p. 299-307
|
article
|
| 36 |
Finality regained: A coalgebraic study of Scott-sets and multisets
|
D'Agostino, Giovanna
|
|
2002
|
|
3 |
p. 267-298
|
article
|
| 37 |
Forcing axiom failure for any λ<ℵ1
|
Shelah, Saharon
|
|
2004
|
|
3 |
p. 285-295
|
article
|
| 38 |
Fuzzy power structures
|
Georgescu, George
|
|
2008
|
|
3 |
p. 233-261
|
article
|
| 39 |
Generic compactness reformulated
|
König, Bernhard
|
|
2004
|
|
3 |
p. 311-326
|
article
|
| 40 |
Hereditarily effective typestreams
|
Normann, Dag
|
|
1997
|
|
3 |
p. 219-225
|
article
|
| 41 |
Identity crises and strong compactness III: Woodin cardinals
|
Apter, Arthur W.
|
|
|
|
3 |
p. 307-322
|
article
|
| 42 |
Identity crises and strong compactness III: Woodin cardinals
|
Apter, Arthur W.
|
|
2005
|
|
3 |
p. 307-322
|
article
|
| 43 |
Isolation and the high/low hierarchy
|
Ishmukhametov, Shamil
|
|
2002
|
|
3 |
p. 259-266
|
article
|
| 44 |
Matrix identities and the pigeonhole principle
|
Soltys, Michael
|
|
2004
|
|
3 |
p. 351-357
|
article
|
| 45 |
Mob families and mad families
|
Brendle, Jörg
|
|
1998
|
|
3 |
p. 183-197
|
article
|
| 46 |
Models of set theory with definable ordinals
|
Enayat, Ali
|
|
2004
|
|
3 |
p. 363-385
|
article
|
| 47 |
Monadic GMV-algebras
|
Rachůnek, Jiří
|
|
2008
|
|
3 |
p. 277-297
|
article
|
| 48 |
Near coherence and filter games
|
Eisworth, Todd
|
|
2001
|
|
3 |
p. 235-242
|
article
|
| 49 |
Note on extensions of Heyting's arithmetic by adding the “creative subject”
|
Krivtsov, Victor N.
|
|
1999
|
|
3 |
p. 145-152
|
article
|
| 50 |
On almost precipitous ideals
|
Ferber, Asaf
|
|
2010
|
|
3 |
p. 301-328
|
article
|
| 51 |
On relative enumerability of Turing degrees
|
Ishmukhametov, Shamil
|
|
2000
|
|
3 |
p. 145-154
|
article
|
| 52 |
On the axiom of union
|
Oman, Greg
|
|
2009
|
|
3 |
p. 283-289
|
article
|
| 53 |
On the existence of large subsets of [λ]κ which contain no unbounded non-stationary subsets RID="★"ID="★" Publication number 698 in author's list. Partially supported by the Israel Science Foundation.
|
Shelah, Saharon
|
|
2002
|
|
3 |
p. 207-213
|
article
|
| 54 |
On the quantifier complexity of Δ n+1 (T)– induction
|
Cordón-Franco, A.
|
|
2004
|
|
3 |
p. 371-398
|
article
|
| 55 |
Proof-theoretical analysis of order relations
|
Negri, Sara
|
|
2004
|
|
3 |
p. 297-309
|
article
|
| 56 |
Provably recursive functions of constructive and relatively constructive theories
|
Moniri, Morteza
|
|
2009
|
|
3 |
p. 291-300
|
article
|
| 57 |
Quasimaximality and principal filters isomorphism between
|
Dimitrov, Rumen
|
|
2004
|
|
3 |
p. 415-424
|
article
|
| 58 |
Quotients of Boolean algebras and regular subalgebras
|
Balcar, B.
|
|
2010
|
|
3 |
p. 329-342
|
article
|
| 59 |
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability
|
Dzhafarov, Damir D.
|
|
2010
|
|
3 |
p. 399-415
|
article
|
| 60 |
Reverse mathematics of prime factorization of ordinals
|
Hirst, Jeffry L.
|
|
1999
|
|
3 |
p. 195-201
|
article
|
| 61 |
Scattered and hereditarily irresolvable spaces in modal logic
|
Bezhanishvili, Guram
|
|
2010
|
|
3 |
p. 343-365
|
article
|
| 62 |
Simple and immune relations on countable structures
|
Goncharov, Sergei. S.
|
|
2003
|
|
3 |
p. 279-291
|
article
|
| 63 |
Some remarks on category of the real line
|
Keremedis, Kyriakos
|
|
1999
|
|
3 |
p. 153-162
|
article
|
| 64 |
Strongly meager and strong measure zero sets
|
Bartoszyński, Tomek
|
|
2002
|
|
3 |
p. 245-250
|
article
|
| 65 |
Subrecursive functions on partial sequences
|
Niggl, Karl-Heinz
|
|
1999
|
|
3 |
p. 163-193
|
article
|
| 66 |
Subsystems of second-order arithmetic between RCA0 and WKL0
|
Mummert, Carl
|
|
2008
|
|
3 |
p. 205-210
|
article
|
| 67 |
The algebraic structure of the isomorphic types of tally, polynomial time computable sets
|
Wang, Yongge
|
|
2002
|
|
3 |
p. 215-244
|
article
|
| 68 |
The Hausdorff-Ershov Hierarchy in Euclidean Spaces
|
Hemmerling, Armin
|
|
|
|
3 |
p. 323-350
|
article
|
| 69 |
The Hausdorff-Ershov Hierarchy in Euclidean Spaces
|
Hemmerling, Armin
|
|
2005
|
|
3 |
p. 323-350
|
article
|
| 70 |
The isomorphism problem for classes of computable fields
|
Calvert, Wesley
|
|
2004
|
|
3 |
p. 327-336
|
article
|
| 71 |
The jump operation for structure degrees
|
Baleva, V.
|
|
|
|
3 |
p. 249-265
|
article
|
| 72 |
The jump operation for structure degrees
|
Baleva, V.
|
|
2005
|
|
3 |
p. 249-265
|
article
|
| 73 |
The modal logic of the countable random frame
|
Goranko, Valentin
|
|
2003
|
|
3 |
p. 221-243
|
article
|
| 74 |
The PCF Trichotomy Theorem does not hold for short sequences
|
Kojman, Menachem
|
|
2000
|
|
3 |
p. 213-218
|
article
|
| 75 |
The strength of Martin-Löf type theory with a superuniverse. Part II
|
Rathjen, Michael
|
|
2001
|
|
3 |
p. 207-233
|
article
|
| 76 |
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic
|
Sakamoto, Nobuyuki
|
|
2004
|
|
3 |
p. 337-349
|
article
|
| 77 |
Two applications of Boolean models
|
Coquand, Thierry
|
|
1998
|
|
3 |
p. 143-147
|
article
|
| 78 |
Typed lambda-calculus in classical Zermelo-Frænkel set theory
|
Krivine, Jean-Louis
|
|
2001
|
|
3 |
p. 189-205
|
article
|
| 79 |
Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems
|
Hrušák, M.
|
|
2008
|
|
3 |
p. 193-203
|
article
|
| 80 |
Vectorization hierarchies of some graph quantifiers
|
Hella, Lauri
|
|
2000
|
|
3 |
p. 183-207
|
article
|
Journal description