Volume 56,
Number 1,
January 2010
Volume 56,
Number 2,
March 2010
- Jindrich Zapletal:
Applications of the ergodic iteration theorem.
116-125
- Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
A note on the Sigma1 collection scheme and fragments of bounded arithmetic.
126-130
- Javier Gutiérrez García, Iraide Mardones-Pérez, María Angeles de Prada-Vicente, Dexue Zhang:
Fuzzy Galois connections categorically.
131-147
- J. Donald Monk:
Special subalgebras of Boolean algebras.
148-158
- Feresiano Mwesigye, John K. Truss:
Countably categorical coloured linear orders.
159-163
- Arthur W. Apter:
How many normal measures can Alef.
164-170
- Petr Hájek:
On witnessed models in fuzzy logic III - witnessed Gödel logics.
171-174
- Apoloniusz Tyszka:
Two conjectures on the arithmetic in R and C.
175-184
- Horst Herrlich, Eleftherios Tachtsis:
Odd-sized partitions of Russell-sets.
185-190
- Douglas S. Bridges, Matthew Hendtlass:
Continuous homomorphisms of R onto a compact group.
191-197
- Ermek S. Nurkhaidarov:
Interstitial and pseudo gaps in models of Peano Arithmetic.
198-204
- Joan Rand Moschovakis:
Unavoidable sequences in constructive analysis.
205-215
- Jan Kraszewski, Robert Ralowski, Przemyslaw Szczepaniak, Szymon Zeberski:
Bernstein sets and kappa -coverings.
216-224
Volume 56,
Number 3,
June 2010
Volume 56,
Number 4,
August 2010
- Paolo Lipparini:
More on regular and decomposable ultrafilters in ZFC.
340-374
- Giovanni Curi:
On some peculiar aspects of the constructive theory of point-free spaces.
375-387
- Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc:
Tautologies over implication with negative literals.
388-396
- Saharon Shelah:
On long increasing chains modulo flat ideals.
397-399
- Young Bae Jun, Min Su Kang, Hee Sik Kim:
New types of hyper MV-deductive systems in hyper MV-algebras.
400-405
- Janak Ramakrishnan:
Uniform bounds on growth in o-minimal structures.
406-408
- Joan Bagaria, Vladimir Kanovei:
On coding uncountable sets by reals.
409-424
- Renato A. Lewin, Irene F. Mikenberg:
First order theory for literal-paraconsistent and literal-paracomplete matrices.
425-433
- Douglas S. Bridges, Hannes Diener:
The anti-Specker property, positivity, and total boundedness.
434-441
- Sandra Marques Pinto, M. Teresa Oliveira-Martins:
Subdirectly irreducible separable dynamic algebras.
442-448
Volume 56,
Number 5,
October 2010
- Olivier Finkel:
On some sets of dictionaries whose omega -powers have a given.
452-460
- Philippe Moser:
On the convergence of Fourier series of computable Lebesgue integrable functions.
461-469
- Janak Ramakrishnan:
Maximal small extensions of o-minimal structures.
470-474
- Kyriakos Keremedis:
Tychonoff products of compact spaces in ZF and closed ultrafilters.
475-487
- Arno Pauly:
On the (semi)lattices induced by continuous reducibilities.
488-502
- Hassan Sfouli:
Definability and nondefinability results for certain o-minimal structures.
503-507
- Pavol Safarik, Ulrich Kohlenbach:
On the computational content of the Bolzano-Weierstraß Principle.
508-532
- Rudolf Taschner:
The swap of integral and limit in constructive mathematics.
533-540
- James H. Schmerl:
Reverse Mathematics and Grundy colorings of graphs.
541-548
- Chaz Schlindwein:
Understanding preservation theorems, II.
549-560
Volume 56,
Number 6,
December 2010
Last update Wed Feb 15 05:40:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
