Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 56
Volume 56, Number 1, January 2010
- Arthur W. Apter:
Tallness and level by level equivalence and inequivalence. 4-12
- Gilda Ferreira
, Paulo Oliva:
Confined modified realizability. 13-28 - Victor Pambuccian:
Forms of the Pasch axiom in ordered geometry. 29-34 - Evgueni Vassiliev:
On pseudolinearity and generic pairs. 35-41 - Young Bae Jun, Kyoung Ja Lee, Asghar Khan:
Soft ordered semigroups. 42-50 - Lida Torkzadeh, Afsaneh Ahadpanah:
Hyper MV-ideals in hyper MV-algebras. 51-62 - Ricardo Almeida:
Connectedness and compactness on standard sets. 63-66 - Barbara F. Csima, Iskander Sh. Kalimullin:
Degree spectra and immunity properties. 67-77 - Seyed Mohammad Bagheri:
A Los type theorem for linear metric formulas. 78-84 - Ernst Zimmermann:
Full Lambek Calculus in natural deduction. 85-88 - Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco:
Analyzing completeness of axiomatic functional systems for temporal × modal logics. 89-102 - Tarek Sayed Ahmed:
The class of polyadic algebras has the super amalgamation property. 103-112
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 Kenneth 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
- Erez Shochat:
A Galois correspondence for countable short recursively saturated models of PA. 228-238 - Françoise Point:
Existentially closed ordered difference fields and rings. 239-256 - Yuki Anbo, Koichiro Ikeda:
A note on stability spectrum of generic structures. 257-261 - Emil Jerábek:
Abelian groups and quadratic residues in weak arithmetic. 262-278 - Antonio Di Nola, Revaz Grigolia, Luca Spada:
A discrete representation of free MV-algebras. 279-288 - Xiangnan Zhou, Qingguo Li:
Boolean products of R0-algebras. 289-298 - Manuel Abad, Diego Nicolás Castaño, J. Patricio Díaz Varela:
Zariski-type topology for implication algebras. 299-309 - Siu-Ah Ng:
Lévy processes on a first order model. 310-322 - Thomas G. McLaughlin:
Some observations on the substructure lattice of a Delta1 ultrapower. 323-330 - Gonçalo Gutierres:
The Ultrafilter Closure in ZF. 331-336
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
- Sam Sanders:
Relative arithmetic. 564-572 - Samuel R. Buss, Alan S. Johnson:
The quantifier complexity of polynomial-size iterated definitions in first-order logic. 573-590 - Jaime Gaspar, Paulo Oliva:
Proof interpretations with truth. 591-610 - Annika Kanckos:
Consistency of Heyting arithmetic in natural deduction. 611-624 - Jacek Cichon, Przemyslaw Szczepaniak:
Hamel-isomorphic images of the unit ball. 625-630 - Laurence Kirby:
Substandard models of finite set theory. 631-642 - Alexej P. Pynko:
Subquasivarieties of implicative locally-finite quasivarieties. 643-658 - Thilo Weinert:
The Bounded Axiom A Forcing Axiom. 659-665 - Albert Ziegler:
Refinement is equivalent to Fullness. 666-669
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-06-05 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
