default search action
Mathematical Logic Quarterly, Volume 51
Volume 51, Number 1, January 2005
- Günter Asser, Armin Hemmerling:
Letter from the outgoing Managing Editor/Letter from the new Managing Editor. 3-4
- Peter Hertling:
Is the Mandelbrot set computable? 5-18 - Vasco Brattka
:
Effective Borel measurability and reducibility of functions. 19-44 - Victor L. Selivanov:
Hierarchies in phi-spaces and applications. 45-61 - Jack H. Lutz:
Effective fractal dimensions. 62-72 - Morteza Moniri:
Polynomial induction and length minimization in intuitionistic bounded arithmetic. 73-76 - Satoru Yoshida:
The constructive completion of the space D(R). 77-82 - Martin Lange:
A quick axiomatisation of LTL with past. 83-88 - Stefano Mazzanti
Bounded iteration and unary functions. 89-94 - Kyriakos Keremedis, Eleftherios Tachtsis:
Countable sums and products of metrizable spaces in ZF. 95-103 - Marta A. Zander:
A note on a subvariety of linear tense algebras. 104-108
Volume 51, Number 2, February 2005
- Guohua Wu:
Regular reals. 111-119 - Cristian S. Calude
Generalisations of disjunctive sequences. 120-128 - Serikzhan A. Badaev
A note on partial numberings. 129-136 - H. Jerome Keisler, Wafik Boulos Lotfallah:
A local normal form theorem for infinitary logic with unary quantifiers. 137-144 - Stefano Leonesi, Carlo Toffalori:
Filling certain cuts in discrete weakly o-minimal structures. 145-153 - Arthur W. Apter:
Removing Laver functions from supercompactness arguments. 154-156 - Xizhong Zheng, Robert Rettinger, George Barmpalias
h-monotonically computable real numbers. 157-170 - Marianne Morillon:
James sequences and Dependent Choices. 171-186 - Paul E. Howard:
If vector spaces are projective modules then multiple choice holds. 187-190 - Arnold Beckmann
An unexpected separation result in Linearly Bounded Arithmetic. 191-200 - Josef Berger:
Exact calculation of inverse functions. 201-205 - Douglas Cenzer, Farzan Riazati:
Minimal extensions of Pi01 classes. 206-216
Volume 51, Number 3, May 2005
- Sergio A. Celani
Bounded distributive lattices with strict implication. 219-246 - Arthur W. Apter:
An Easton theorem for level by level equivalence. 247-253 - Gábor Sági, Saharon Shelah
On topological properties of ultraproducts of finite sets. 254-257 - Masanori Itai, Kentaro Wakai:
omega-saturated quasi-minimal models of Th(Qomega, +, sigma, 0). 258-262 - Thierry Libert, Olivier Esser:
On topological set theory. 263-273 - S. Barry Cooper, Andrew E. M. Lewis, Yue Yang:
Properly Sigma2 minimal degrees and 0'' complementation. 274-276 - Victor Pambuccian
The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist). 277-281 - Bernhard Banaschewski:
Excluded Middle versus Choice in a topos. 282-284 - George Weaver, Benjamin R. George:
Fraenkel-Carnap properties. 285-290 - Tapani Hyttinen
Locally modular geometries in homogeneous structures. 291-298 - Gerhard Lischke:
Squares of regular languages. 299-304 - Masayuki Karato:
A Tukey decomposition of Pkappalambda and the tree property for directed sets. 305-312 - Andrés Cordón-Franco
Fragments of Arithmetic and true sentences. 313-328
Volume 51, Number 4, July 2005
- Norihiro Kamide:
A spatial modal logic with a location interpretation. 331-341 - Lorenzo Carlucci:
Worms, gaps, and hydras. 342-350 - Thierry Coquand, Bas Spitters
A constructive proof of the Peter-Weyl theorem. 351-359 - Josef Berger, Hajime Ishihara:
Brouwer's fan theorem and unique existence in constructive analysis. 360-364 - Hisato Muraki:
Largest fixed points of set continuous operators and Boffa's Anti-Foundation. 365-376 - Beibut Sh. Kulpeshov, H. Dugald Macpherson
Minimality conditions on circularly ordered structures. 377-399 - Hervé Perdry:
Henselian valued fields: a constructive point of view. 400-416 - Henryk Kotlarski, Bozena Piekart
Some variations of the Hardy hierarchy. 417-434
Volume 51, Number 5, September 2005
- Saharon Shelah
Two cardinals models with gap one revisited. 437-447 - Sy D. Friedman:
Definability degrees. 448-449 - Barbara Majcher-Iwanow
Gdelta-pieces of canonical partitions of G-spaces. 450-461 - Bin He:
A high dimensional Open Coloring Axiom. 462-469 - Andrew E. M. Lewis:
The minimal complementation property above 0'. 470-492 - Joel David Hamkins
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal. 493-498 - George Weaver, Irena Penev
From finitary to infinitary second-order logic. 499-506 - Hiroshi Sakai:
Generalized Prikry forcing and iteration of generic ultrapowers. 507-523 - Arthur W. Apter:
Universal partial indestructibility and strong compactness. 524-531 - Jakob Grue Simonsen:
Specker sequences revisited. 532-540
Volume 51, Number 6, November 2005
- Yongcheng Wu, Decheng Ding:
Computability of measurable sets via effective metrics. 543-559 - Sakaé Fuchino, Greg Piper:
Destructibility of stationary subsets of Pkappalambda. 560-569 - George Voutsadakis:
Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. 570-578 - Norihiro Kamide:
On a logic of involutive quantales. 579-585 - Juan C. Martínez:
A consistency result on cardinal sequences of scattered Boolean spaces. 586-590 - Hajnal Andréka, Judit X. Madarász, István Németi:
Mutual definability does not imply definitional equivalence, a simple example. 591-597 - Omar De la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Eleftherios Tachtsis:
Properties of the real line and weak forms of the Axiom of Choice. 598-609 - Nader Vakil, Roozbeh Vakil:
A remark on uniform spaces with invariant nonstandard hulls. 610-612 - Stefano Leonesi, Sonia L'Innocente, Carlo Toffalori:
Weakly minimal modules over integral group rings and over related classes of rings. 613-625 - Enrique Casanovas
|T|+-resplendent models and the Lascar group. 626-631 - Jan von Plato:
Normal derivability in modal logic. 632-638 - Mário J. Edmundo
A remark on divisibility of definable groups. 639-641
- Gerhard Jäger, Dieter Probst:
Corrigendum to "Variation on a theme of Schütte". 642 - Joseph Barback:
Corrigendum to "Regressive isols and comparability". 643 - George Voutsadakis:
Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". 644
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:21 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: