Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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
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 2024-05-10 18:47 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:
