default search action
Archive for Mathematical Logic, Volume 45
Volume 45, Number 1, January 2006
- Jeffry L. Hirst:
Reverse mathematics of separably closed sets. 1-2 - Radim Belohlávek, Vilém Vychodil:
Fuzzy Horn logic I. 3-51 - Peter Koepke, Ralf Schindler:
Homogeneously Souslin sets in small inner models. 53-61 - Tapani Hyttinen
:
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation. 63-73 - Saverio Cittadini, Carlo Toffalori:
On pairs of free modules over a Dedekind domain. 75-95 - Paul Bankston:
The Chang-Los-Suszko theorem in a topological setting. 97-112
Volume 45, Number 2, February 2006
- Mirjana Borisavljevic:
A Connection Between Cut Elimination and Normalization. 113-148 - Radim Belohlávek, Vilém Vychodil:
Fuzzy Horn logic II. 149-177 - Sebastiaan Terwijn:
The Medvedev lattice of computably closed sets. 179-190 - Ioana Leustean
Non-commutative Lukasiewicz propositional logic. 191-213 - Antonio Montalbán:
There is no ordering on the classes in the generalized high/low hierarchies. 215-231 - Liang Yu:
Lowness for genericity. 233-238 - Daniele Mundici:
A Characterization of the free n-generated MV-algebra. 239-247
Volume 45, Number 3, March 2006
- V. Baleva:
The jump operation for structure degrees. 249-265 - Alexej P. Pynko:
A relative interpolation theorem for infinitary universal Horn logic and its applications. 267-305 - Arthur W. Apter, Grigor Sargsyan:
Identity crises and strong compactness III: Woodin cardinals. 307-322 - Armin Hemmerling:
The Hausdorff-Ershov Hierarchy in Euclidean Spaces. 323-350 - Luminita Simona Vîta:
Extending strongly continuous functions between apartness spaces. 351-356 - Karim Nour, Khelifa Saber:
A semantical proof of the strong normalization theorem for full propositional classical natural deduction. 357-364 - Yongcheng Wu, Decheng Ding:
Computability of measurable sets via effective topologies. 365-379
Volume 45, Number 4, May 2006
- Tomás Kroupa:
Representation and extension of states on MV-algebras. 381-392 - Stephen Binns:
Small Pi01 Classes. 393-410 - Roy Dyckhoff, Sara Negri:
Decision methods for linearly ordered Heyting algebras. 411-422 - Predrag Tanovic
On constants and the strict order property. 423-430 - Pavel Naumov
Upper bounds on complexity of Frege proofs with limited use of certain schemata. 431-446 - Matthias Baaz
Herbrand's theorem and term induction. 447-503 - Boris Solon:
C-Quasi-Minimal enumeration degrees below c'. 505-517
Volume 45, Number 5, July 2006
- Peter Cholak, Richard A. Shore, Reed Solomon:
A computably stable structure with no Scott family of finitary formulas. 519-538 - Albert Visser, Maartje de Jonge:
No Escape from Vardanyan's theorem. 539-554 - Linda Lawton:
Almost complemented Pi01 classes. 555-568 - Blanka Kozlíková, Vítezslav Svejdar
On interplay of quantifiers in Gödel-Dummett fuzzy logics. 569-580 - Rosalie Iemhoff:
On the rules of intermediate logics. 581-599 - Dumitru Daniel Dragulici
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras. 601-613 - Félix Bou, Àngel García-Cerdaña
On two fragments with negation and without implication of the logic of residuated lattices. 615-647
Volume 45, Number 6, August 2006
- Jakob Kellner
Preserving Non-null with Suslin+ Forcings. 649-664 - Frank Niedermeyer, Saharon Shelah
The f-factor Problem for Graphs and the Hereditary Property. 665-672 - Petr Cintula
Weakly Implicative (Fuzzy) Logics I: Basic Properties. 673-704 - Alex Hellsten:
Orders of Indescribable Sets. 705-714 - Rod Downey, Liang Yu:
Arithmetical Sacks Forcing. 715-720 - Arthur W. Apter, Peter Koepke:
The Consistency Strength of Àw and Àw1 Being Rowbottom Cardinals Without the Axiom of Choice. 721-737 - Nick Peatfield:
An Analytic Zariski Structure Over a Field. 739-768 - Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
P01-Presentations of Algebras. 769-781
Volume 45, Number 7, October 2006
- Andrés Eduardo Caicedo, Ralf Schindler:
Projective Well-orderings of the Reals. 783-793 - Martin Hofmann, Jaap van Oosten, Thomas Streicher:
Well-foundedness in Realizability. 795-805 - Gunnar Wilken
The Bachmann-Howard Structure in Terms of Sigma1-Elementarity. 807-829 - Arthur W. Apter:
Failures of SCH and Level by Level Equivalence. 831-838 - Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú:
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. 839-868 - Roland Sh. Omanadze, Andrea Sorbi:
Strong Enumeration Reducibilities. 869-912
Volume 45, Number 8, November 2006
- Majid Alizadeh
Amalgamation property for the class of basic algebras and some of its natural subclasses. 913-930 - Alfred Dolich, Michael C. Laskowski, Alexander Raichev:
Model completeness for trivial, uncountably categorical theories of Morley rank 1. 931-945 - George Georgescu, Andrei Popescu:
A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. 947-981 - Marcus Tressl
Pseudo completions and completions in stages of o-minimal structures. 983-1009 - J. Patricio Díaz Varela, Antoni Torrens Torrell:
Decomposability of free Lukasiewicz implication algebras. 1011-1020 - Philip Kremer:
The modal logic of continuous functions on cantor space. 1021-1032
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-23 19:19 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: