![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mathematical Logic Quarterly, Volume 50
Volume 50, Number 1, January 2004
- Ernest Schimmerling
, Boban Velickovic
:
Collapsing functions. 3-8 - Isabel Oitavem
:
Characterizing NC with tier 0 pointers. 9-17 - Jakob Kellner
, Hans Ploss:
F-products and nonstandard hulls for semigroups. 18-28 - Chaz Schlindwein:
A short proof of the preservation of the omegaomega-bounding property. 29-32 - Steve Jackson, Russell May:
The strong partition relation on omega1 revisited. 33-40 - Stefano Berardi:
A generalization of a conservativity theorem for classical versus intuitionistic arithmetic. 41-46 - Jeffry L. Hirst:
Minima of initial segments of infinite sequences of reals. 47-50 - Arthur W. Apter:
Level by level equivalence and strong compactness. 51-64 - Majid Alizadeh
, Mohammad Ardeshir:
On the linear Lindenbaum algebra of Basic Propositional Logic. 65-70 - Aleksander Ivanov
, Roman Kossak:
Automorphism group actions on trees. 71-76 - Tapani Hyttinen:
Finitely generated submodels of an uncountably categorical homogeneous structure. 77-98 - Matteo Viale:
The cumulative hierarchy and the constructible universe of ZFA. 99-103 - Franco Montagna, Lorenzo Sacchetti:
Corrigendum to "Kripke-style semantics for many-valued logics". 104-107
Volume 50, Number 2, March 2004
- Roberto Cignoli, Antoni Torrens:
Glivenko like theorems in natural expansions of BCK-logic. 111-125 - Enrique Casanovas
, Rafel Farré
:
Weak forms of elimination of imaginaries. 126-140 - Kyriakos Keremedis:
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. 141-151 - Virginie Mazoyer:
Polygones. 152-168 - Marcin Mostowski, Anna Wasilewska:
Arithmetic of divisibility in finite models. 169-174 - Gurgen Asatryan:
A solution to identities problem in 2-element HSI-algebras. 175-178 - Wafik Boulos Lotfallah:
An Ehrenfeucht-Fraïssé class game. 179-188 - Guohua Wu:
Quasi-complements of the cappable degrees. 189-201 - Mauro Ferrari
, Camillo Fiorentini
, Guido Fiorino:
A secondary semantics for Second Order Intuitionistic Propositional Logic. 202-210 - György Serény:
Boolos-style proofs of limitative theorems. 211-216
Volume 50, Number 3, May 2004
- Stephen M. Walk:
Lattice embeddings and array noncomputable degrees. 219-235 - Jesper Carlström:
EM + Ext- + ACint is equivalent to ACext. 236-240 - Stefano Leonesi, Carlo Toffalori:
On the Boolean algebras of definable sets in weakly o-minimal theories. 241-248 - Stefano Baratella
, Andrea Masini:
An infinitary variant of Metric Temporal Logic over dense time domains. 249-257 - Gerhard Jäger, Dieter Probst:
Variation on a theme of Schütte. 258-264 - Andrei Popescu:
A general approach to fuzzy concepts. 265-280 - K. Subramani
:
On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries. 281-292 - Douglas S. Bridges:
Constructive complements of unions of two closed sets. 293-294 - Emil Jerábek
:
A note on Grzegorczyk's logic. 295-296 - Bernhard König, Yasuo Yoshinobu:
Fragments of Martin's Maximum in generic extensions. 297-302 - Félix Bou, Josep Maria Font, José Luis García-Lapresta
:
On weakening the Deduction Theorem and strengthening Modus Ponens. 303-324
Volume 50, Numbers 4-5, September 2004
- Vasco Brattka, Peter Hertling, Ker-I Ko, Ning Zhong:
Preface: MLQ - Math. Log. Quart. 4-5/2004. 327-328 - Douglas Cenzer, Jeffrey B. Remmel:
Index sets for computable differential equations. 329-344 - Rod Downey, Guohua Wu, Xizhong Zheng:
Degrees of d. c. e. reals. 345-350 - Andrej Bauer, Alex Simpson:
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. 351-369 - George Barmpalias
:
Approximation representations for reals and their wtt-degrees. 370-380 - Iraj Kalantari, Larry Welch:
Density and Baire category in recursive topology. 381-391 - Martin Ziegler:
Computable operators on regular sets. 392-404 - Vladik Kreinovich, Luc Longpré:
Fast quantum algorithms for handling probabilistic and interval uncertainty. 405-416 - Daren Kunkle:
Type-2 computability on spaces of integrable functions. 417-430 - Xizhong Zheng, Robert Rettinger:
Weak computability and representation of reals. 431-442 - Matthias Schröder
:
Spaces allowing Type-2 Complexity Theory revisited. 443-459 - Josef M. Breutzmann, David W. Juedes
, Jack H. Lutz:
Baire category and nowhere differentiability for feasible real functions. 460-472 - Daniel Silva Graça
:
Some recent developments on Shannon's General Purpose Analog Computer. 473-485 - Fredrik Dahlgren:
Computability and continuity in metric partial algebras equipped with computability structures. 486-500 - Douglas S. Bridges:
First steps in constructive game theory. 501-506 - Armin Hemmerling:
Characterizations of the class Deltata2 over Euclidean spaces. 507-519 - Dimiter Skordev
:
Some subrecursive versions of Grzegorczyk's Uniformity Theorem. 520-524
Volume 50, Number 6, October 2004
- Ralf Schindler:
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum. 527-532 - James H. Schmerl:
Substructure lattices and almost minimal end extensions of models of Peano arithmetic. 533-539 - Hajime Ishihara, Peter Schuster
:
Compactness under constructive scrutiny. 540-550 - Arthur W. Chou, Ker-I Ko:
On the complexity of finding paths in a two-dimensional domain I: Shortest paths. 551-572 - Klaus Frovin Jørgensen:
Functional interpretation and the existence property. 573-576 - Jirí Hanika:
Herbrandizing search problems in Bounded Arithmetic. 577-586 - Nobuyuki Sakamoto, Takeshi Yamazaki:
Uniform versions of some axioms of second order arithmetic. 587-593 - Milos S. Kurilic:
Unsupported Boolean algebras and forcing. 594-602 - Gábor Sági, János Gerlits:
Ultratopologies. 603-612 - Rod Downey, Evan J. Griffiths, Geoffrey LaForte:
On Schnorr and computable randomness, martingales, and machines. 613-627 - Marat M. Arslanov
, S. Barry Cooper, Angsheng Li:
There is no low maximal d. c. e. degree - Corrigendum. 628-636
- Morteza Moniri:
Corrigendum to "Weak Arithmetics and Kripke Models". 637-638
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.