Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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, Ludwig Staiger:
Generalisations of disjunctive sequences. 120-128 - Serikzhan A. Badaev, Dieter Spreen:
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, Jan Johannsen:
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, Ramon Jansana:
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, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
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, W. Hugh Woodin:
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, Rodrigo Peláez:
|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
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-06 20:15 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:
