default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 48
Volume 48, Number 1, February 2009
- Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood:
Preface. 1-6 - Jennifer Chubb, Andrey N. Frolov, Valentina S. Harizanov:
Degree spectra of the successor relation of computable linear orderings. 7-13 - Michael C. Laskowski:
The elementary diagram of a trivial, weakly minimal structure is near model complete. 15-24 - Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar:
Categoricity of computable infinitary theories. 25-38 - Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight:
Chains and antichains in partial orderings. 39-53 - Amador Martin-Pizarro
, Frank O. Wagner:
Supersimplicity and quadratic extensions. 55-61 - Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov:
Linear orders with distinguished function symbol. 63-76 - Alexandra Shlapentokh:
Rings of algebraic numbers in infinite extensions of \mathbb Q{\mathbb {Q}} and elliptic curves retaining their rank. 77-114 - Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin:
Space complexity of Abelian groups. 115-140
Volume 48, Number 2, April 2009
- Damir D. Dzhafarov, Jeffry L. Hirst:
The polarized Ramsey's theorem. 141-157 - Pierluigi Minari:
A solution to Curry and Hindley's problem on combinatory strong reduction. 159-184 - René David, Marek Zaionc:
Counting proofs in propositional logic. 185-199 - Joan Bagaria, Carlos A. Di Prisco:
Parameterized partition relations on the real numbers. 201-226
Volume 48, Numbers 3-4, May 2009
- Bernard A. Anderson, Jeffry L. Hirst:
Partitions of trees and ACA'0. 227-230 - Guram Bezhanishvili, John Harding:
The modal logic of beta(N). 231-242 - Michal Botur, Radomír Halas:
Commutative basic algebras and non-associative fuzzy logics. 243-255 - R. Daniel Mauldin, Alexander P. McLinden:
Random closed sets viewed as random recursions. 257-263 - Shunsuke Yatabe:
Comprehension contradicts to the induction within Lukasiewicz predicate logic. 265-268 - Åsa Hirvonen, Tapani Hyttinen:
Categoricity in homogeneous complete metric spaces. 269-322 - Christoph Heinatsch:
P12{\Pi^1_2} -comprehension and the property of Ramsey. 323-386
Volume 48, Number 5, June 2009
- Margarita Otero, Ya'acov Peterzil:
G-linear sets and torsion points in definably compact groups. 387-402 - Claude Sureson:
Model companion and model completion of theories of rings. 403-420 - David Pierce:
Model-theory of vector-spaces over unspecified fields. 421-436 - Douglas S. Bridges:
Constructive notions of equicontinuity. 437-448 - Marcin Sabok:
sigma-Continuity and related forcings. 449-464 - Seyed Mohammad Bagheri, Massoud Pourmahdian:
The logic of integration. 465-492
Volume 48, Number 6, July 2009
- Grigor Sargsyan:
On the indestructibility aspects of identity crisis. 493-513 - Vera Koponen:
Entropy of formulas. 515-522 - Phuong Nguyen:
The equivalence of theories that characterize ALogTime. 523-549 - Kai Brünnler:
Deep sequent systems for modal logic. 551-577 - Mirna Dzamonja, Jean A. Larson, William J. Mitchell:
Partitions of large Rado graphs. 579-606
Volume 48, Number 7, October 2009
- Pantelis E. Eleftheriou:
Compact domination for groups definable in linear o-minimal structures. 607-623 - Olaf Beyersdorff:
Comparing axiomatizations of free pseudospaces. 625-641 - David Asperó:
Forcing notions in inner models. 643-651 - David Asperó:
On a convenient property about [gamma]aleph0. 653-677 - Daisuke Ikegami:
Projective absoluteness for Sacks forcing. 679-690 - Ansten Mørch Klev:
Infinite time extensions of Kleene's O. 691-703
Volume 48, Number 8, December 2009
- Milos S. Kurilic, Stevo Todorcevic:
Property (h) and cellularity of complete Boolean algebras. 705-718 - Matteo Bianchi, Franco Montagna:
Supersound many-valued logics and Dedekind-MacNeille completions. 719-736 - Carmi Merimovich:
The short extenders gap two forcing is of Prikry type. 737-747 - Simon Thomas:
Martin's conjecture and strong ergodicity. 749-759 - Simon Thomas:
Continuous versus Borel reductions. 761-770 - Anatolij Dvurecenskij, Jan Kühr:
On the structure of linearly ordered pseudo-BCK-algebras. 771-791 - Samuel R. Buss:
Pool resolution is NP-hard to recognize. 793-798 - Itay Kaplan, Saharon Shelah:
The automorphism tower of a centerless group without Choice. 799-815 - Assaf Rinot:
A cofinality-preserving small forcing may introduce a special Aronszajn tree. 817-823 - Martin Zeman:
More fine structural global square sequences. 825-835
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-12-02 21:29 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:
