default search action
Mathematical Logic Quarterly, Volume 62
Volume 62, Numbers 1-2, February 2016
- Miklós Ferenczi:
On the definition and the representability of quasi-polyadic equality algebras. 9-15 - Alexander Berenstein
, Hyeung-Joon Kim:
Dense codense predicates and the NTP2. 16-24 - Christian Pech
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures. 25-34 - Pablo Cubides Kovacsics
Definable types in algebraically closed valued fields. 35-45 - Peter Sinclair
Computable axiomatizability of elementary classes. 46-51 - Sy-David Friedman, Radek Honzik
On strong forms of reflection in set theory. 52-58 - Toshimichi Usuba:
Subtlety and partition relations. 59-71 - Hajime Ishihara, Takako Nemoto
A note on the independence of premiss rule. 72-76 - Konstantinos Tsaprounis:
Ultrahuge cardinals. 77-87 - Chloé Perin, Rizos Sklinos
On the (non) superstable part of the free group. 88-93 - Hajime Ishihara, Helmut Schwichtenberg:
Embedding classical in minimal implicational logic. 94-101 - Emil Jerábek
A note on the substructural hierarchy. 102-110 - Serikzhan A. Badaev
Weakly precomplete computably enumerable equivalence relations. 111-127 - Arthur W. Apter:
A note on tall cardinals and level by level equivalence. 128-132
Volume 62, Number 3, May 2016
- Saharon Shelah
Stable theories and representation over sets. 140-154 - Paul E. Howard, Denis I. Saveliev, Eleftherios Tachtsis:
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements. 155-176 - Norihiro Kamide:
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. 177-189 - Eleftherios Tachtsis:
On Martin's Axiom and Forms of Choice. 190-203 - Giulia Frosoni:
Conuclear images of substructural logics. 204-214 - Nadja Hempel:
On n-dependent groups and fields. 215-224 - Arthur W. Apter, Ioanna M. Dimitriou, Peter Koepke:
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters. 225-231 - Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
On free MV algebras and a problem of Tarski. 232-240 - Jafar S. Eivazloo, Somayyeh Tari
Pseudo definably connected definable sets. 241-248 - Paolo Lipparini:
An infinite natural sum. 249-257 - Philip Scowcroft:
A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable. 258-277 - Akihiro Kanamori:
Mathias and set theory. 278-294
Volume 62, Numbers 4-5, August 2016
- Olivier Finkel:
Locally finite ω-languages and effective analytic sets have the same topological complexity. 303-318 - Andrés Villaveces, Pedro Zambrano:
Limit models in metric abstract elementary classes: the categorical case. 319-334 - Jason Rute:
Computable randomness and betting for computable probability spaces. 335-366 - Rami P. Grossberg
Uniqueness of limit models in classes with amalgamation. 367-382 - Kyriakos Keremedis:
Non-discrete metrics in and some notions of finiteness. 383-390 - Victoria Gitman
What is the theory without power set? 391-406 - Janusz Pawlikowski:
The diamond covering property axiom. 407-411 - Tin Perkov
Filtrations of generalized Veltman models. 412-419 - Marat Kh. Faizrahmanov
The enumeration spectrum hierarchy of n-families. 420-426 - David Nyiri:
The Robinson property and amalgamations of higher arities. 427-433 - Saharon Shelah
There are no very meager sets in the model in which both the Borel Conjecture and the dual Borel Conjecture are true. 434-438 - Yurii Khomskii, Giorgio Laguzzi, Benedikt Löwe, Ilya Sharankou:
Questions on generalised Baire spaces. 439-456
Volume 62, Number 6, December 2016
- Mirjana Ilic
An alternative Gentzenisation of RW+∘. 465-480 - Charles M. Harris, Kyung Il Lee, S. Barry Cooper:
Automorphisms of η-like computable linear orderings and Kierstead's conjecture. 481-506 - Stephen Flood, Henry Towsner:
Separating principles below WKL0. 507-529 - Itay Kaplan
Forcing a countable structure to belong to the ground model. 530-546 - Joseph Zielinski:
An automorphism group of an ω-stable structure that is not locally (OB). 547-551 - Norihiro Kamide:
Paraconsistent double negation as a modal operator. 552-562 - Ahmet Çevik:
choice classes. 563-574 - Maciej Malicki:
Abelian pro-countable groups and non-Borel orbit equivalence relations. 575-579 - Samuel Coskey, Paul Ellis
The conjugacy problem for automorphism groups of countable homogeneous structures. 580-589 - Irakli O. Chitaia:
Hyperhypersimple sets and Q1-reducibility. 590-595 - Jouke Witteveen
Fixed-parameter decidability: Extending parameterized complexity analysis. 596-607 - Emil Jerábek
Cluster expansion and the boxdot conjecture. 608-614
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 2025-01-18 00:51 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: