default search action
Archive for Mathematical Logic, Volume 51
Volume 51, Numbers 1-2, February 2012
- Alexander Citkin:
A note on admissible rules and the disjunction property in intermediate logics. 1-14 - Enrico Marchioni
:
Amalgamation through quantifier elimination for varieties of commutative residuated lattices. 15-34 - Erik Palmgren:
Proof-relevance of families of setoids and identity in type theory. 35-47 - Jakob Kellner
Creature forcing and large continuum: the joy of halving. 49-70 - Roy Dyckhoff, Sara Negri:
Proof analysis in intermediate logics. 71-92 - Aleksander Ivanov
Degrees of isomorphism types and countably categorical groups. 93-98 - Sam Sanders, Keita Yokoyama
The Dirac delta function in two settings of Reverse Mathematics. 99-121 - Jeffry L. Hirst:
Hilbert versus Hindman. 123-125 - Lew Gordeev, Andreas Weiermann
Phase transitions of iterated Higman-style well-partial-orderings. 127-161 - Daniele Marsibilio, Andrea Sorbi:
Bounded enumeration reducibility and its degree structure. 163-186 - Piotr Borodulin-Nadzieja
Cardinal coefficients associated to certain orders on ideals. 187-202 - Koichiro Ikeda:
Ab initio generic structures which are superstable but not ω-stable. 203-211
Volume 51, Numbers 3-4, May 2012
- Joan Bagaria
C(n)-cardinals. 213-240 - Kerkko Luosto
On vectorizations of unary generalized quantifiers. 241-255 - Arthur W. Apter, Victoria Gitman
Inner models with large cardinal features usually obtained by forcing. 257-283 - San-Min Wang
On an axiomatic system for the logic of linearly ordered BCI-matrices. 285-297 - Sy-David Friedman, Tapani Hyttinen
On Borel equivalence relations in generalized Baire space. 299-304 - Jörg Brendle
A base-matrix lemma for sets of rationals modulo nowhere dense sets. 305-317 - Daniel W. Cunningham:
Scales of minimal complexity in KR. 319-351 - Michael Cox, Richard Kaye:
Amphi-ZF : axioms for Conway games. 353-371 - Charles M. Harris:
Badness and jump inversion in the enumeration degrees. 373-406 - Paul Shafer:
Menger's theorem in Π11-CA0. 407-423 - Pierre Matet:
Non-saturation of the nonstationary ideal on P κ (λ) in case κ ≤ cf (λ) < λ. 425-432 - Philipp Lücke
External automorphisms of ultraproducts of finite models. 433-441
Volume 51, Numbers 5-6, August 2012
- Joan Rand Moschovakis, Garyfallia Vafeiadou:
Some axioms for constructive analysis. 443-459 - João Araújo
A method for finding new sets of axioms for classes of semigroups. 461-474 - William R. Stirton:
How to assign ordinal numbers to combinatory terms with polymorphic types. 475-501 - Roland Sh. Omanadze, Irakli O. Chitaia:
Q 1-degrees of c.e. sets. 503-515 - Douglas S. Bridges:
Compactness notions for an apartness space. 517-534 - Michael Soltys
Proving properties of matrices over Z2. 535-551 - Dima Sinapova:
The tree property and the failure of SCH at uncountable cofinality. 553-562 - Barbara Majcher-Iwanow
Polish group actions and effectivity. 563-573 - Yoshihiro Abe, Toshimichi Usuba:
Notes on the partition property of Pκλ. 575-589 - Koichiro Ikeda, Hirotaka Kikyo
On superstable generic structures. 591-600 - Laura Fontanella:
Strong tree properties for two successive cardinals. 601-620 - Sy-David Friedman, Mohammad Golshani:
Independence of higher Kurepa hypotheses. 621-633 - Spencer Unger:
Fragility and indestructibility of the tree property. 635-645 - James H. Schmerl:
The automorphism group of a resplendent model. 647-649 - Alberto Marcone
Computing maximal chains. 651-660 - Guram Bezhanishvili, Joel Lucero-Bryan
Subspaces of Q whose d-logics do not have the FMP. 661-670
Volume 51, Numbers 7-8, November 2012
- Daisuke Ikegami, David de Kloet, Benedikt Löwe:
The axiom of real Blackwell determinacy. 671-685 - Hannes Diener
Reclassifying the antithesis of Specker's theorem. 687-693 - Hadi Farahani
Glivenko theorems and negative translations in substructural predicate logics. 695-707 - Daniel Palacín
On omega-categorical simple theories. 709-717 - Sándor Jenei, Hiroakira Ono:
On involutive FL e -monoids. 719-738 - Marianne Morillon:
Some consequences of Rado's selection lemma. 739-749 - François G. Dorais:
A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$. 751-780 - Oleg V. Belegradek:
Homogeneity in relatively free groups. 781-787 - Ray-Ming Chen, Michael Rathjen:
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory. 789-818 - Arthur W. Apter:
On some questions concerning strong compactness. 819-829 - Ramon Jansana
Algebraizable logics with a strong conjunction and their semi-lattice based companions. 831-861 - Eilon Bilinsky, Moti Gitik:
A model with a measurable which does not carry a normal measure. 863-876
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-22 18:49 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: