default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 57
Volume 57, Number 1, February 2011
- Stefan Geschke:
Weak Borel chromatic numbers. 5-13 - Paul E. Howard:
The finiteness of compact Boolean algebras. 14-18 - Bernhard König:
Winning strategies in club games and their applications. 19-26 - Anna R. Ferraioli, Ada Lettieri:
Representations of MV-algebras by sheaves. 27-43 - Mário J. Edmundo
:
On the Euler characteristic of definable groups. 44-46 - Denisa Diaconescu, George Georgescu:
Forcing operators on MTL-algebras. 47-64 - Achim Blumensath:
Simple monadic theories and indiscernibles. 65-86 - Miklós Ferenczi:
Existence of partial transposition means representability in cylindric algebras. 87-94 - Luca Motto Ros:
Game representations of classes of piecewise definable functions. 95-112
Volume 57, Number 2, April 2011
- Andreas Weiermann, Gunnar Wilken:
Ordinal arithmetic with simultaneously defined theta-functions. 116-132 - Elisabetta Pastori, Pablo Spiga:
Failure of n-uniqueness: a family of examples. 133-148 - Pierre Matet:
Weak saturation of ideals on Pκ(λ). 149-165 - Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid, Neda Mohtashamnia:
Radical of filters in BL-algebras. 166-179 - Shawn Hedman, Wai Yan Pong:
Quantifier-eliminable locally finite graphs. 180-185 - Marek Balcerzak, Tomasz Filipczak:
On monotone hull operations. 186-193 - Razvan Diaconescu:
On quasi-varieties of multiple valued logic models. 194-203 - Michael J. Lieberman:
A topology for galois types in abstract elementary classes. 204-216 - Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker:
Stability of representations of effective partial algebras. 217-231
Volume 57, Number 3, June 2011
- Valeria Castaño, Marcela Muñoz Santis:
De Morgan Heyting algebras satisfying the identity xn(′*) ≈ x(n+1)(′*). 236-245 - Beibut Sh. Kulpeshov:
Binary types in ℵ0-categorical weakly o-minimal theories. 246-255 - Predrag Tanovic:
On definability of types of finite Cantor-Bendixson rank. 256-260 - Arthur W. Apter:
Indestructibility, HOD, and the Ground Axiom. 261-265 - Jason A. Schanker:
Weakly measurable cardinals. 266-280 - Lankun Guo, Guo-Qiang Zhang, Qingguo Li:
Fuzzy closure systems on L - ordered sets. 281-291 - Alexander Kreuzer:
The cohesive principle and the Bolzano-Weierstraß principle. 292-298 - Andrea Cantini:
Extending constructive operational set theory by impredicative principles. 299-322 - Kenshi Miyabe:
Truth-table Schnorr randomness and truth-table reducible randomness. 323-338
Volume 57, Number 4, August 2011
- Saharon Shelah:
Models of expansions of &equation image; with no end extensions. 341-365 - Arthur W. Apter, Shoshana Friedman:
Coding into HOD via normal measures with some applications. 366-372 - Thierry Coquand, Erik Palmgren, Bas Spitters:
Metric complements of overt closed sets. 373-378 - Ján Pich:
Nisan-Wigderson generators in proof systems with forms of interpolation. 379-383 - Tarek Sayed Ahmed:
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras. 384-394 - Norihiro Kamide:
Notes on Craig interpolation for LJ with strong negation. 395-399 - Vladimir Ristic, Radosav S. Dordevic, Nebojsa Ikodinovic:
Biprobability logic with conditional expectation. 400-408 - Achim Blumensath:
Simple monadic theories and partition width. 409-431 - Milena Stefanova, Silvio Valentini:
Spatiality and classical logic. 432-440
Volume 57, Number 5, October 2011
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
A note on parameter free Π1-induction and restricted exponentiation. 444-455 - Juan Carlos Martínez, Lajos Soukup:
Superatomic Boolean algebras constructed from strongly unbounded functions. 456-469 - Shingo Ibuka, Makoto Kikuchi, Hirotaka Kikyo:
Kolmogorov complexity and characteristic constants of formal theories of arithmetic. 470-473 - Giacomo Lenzi:
On a positive set theory with inequality. 474-480 - Hiroki Takamura:
Powers of positive elements in C*-algebras. 481-484 - Abhijit Dasgupta:
A set of axioms for nonstandard extensions. 485-493 - Karim Khanaki, Seyed Mohammad Bagheri:
Random variables and integral logic. 494-503 - John Case, Sanjay Jain:
Rice and Rice-Shapiro Theorems for transfinite correction grammars. 504-516 - Patrizio Cintioli:
Low sets without subsets of higher many-one degree. 517-523 - Emil Jerábek, Phuong Nguyen:
Simulating non-prenex cuts in quantified propositional calculus. 524-532
Volume 57, Number 6, December 2011
- Olaf Beyersdorff, Zenon Sadowski:
Do there exist complete sets for promise classes? 535-550 - Daria Spescha, Thomas Strahm:
Realisability in weak systems of explicit mathematics. 551-565 - Pedro A. Guil Asensio, Manuel Cortés-Izurdiaga, Philipp Rothmaler, Blas Torrecillas:
Strict Mittag-Leffler modules. 566-570 - Sandra Marques Pinto, M. Teresa Oliveira-Martins:
Congruences and ideals on Boolean modules: a heterogeneous point of view. 571-581 - Piotr Borodulin-Nadzieja, Szymon Glab:
Ideals with bases of unbounded Borel complexity. 582-590 - Gido Scharfenberger-Fabian:
Chain homogeneous Souslin algebras. 591-610 - Ulrich Kohlenbach:
A note on the monotone functional interpretation. 611-614 - Ralf Schindler, Philipp Schlicht:
Thin equivalence relations in scaled pointclasses. 615-620
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 2024-11-15 19:42 CET 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:
