default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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, Maja Pech:
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures. 25-34 - Pablo Cubides Kovacsics, Françoise Delon:
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, Andrea Sorbi:
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, Moran Cohen:
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, Monica Van Dieren, Andrés Villaveces:
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, Joel David Hamkins, Thomas A. Johnstone:
What is the theory without power set? 391-406 - Janusz Pawlikowski:
The diamond covering property axiom. 407-411 - Tin Perkov, Mladen Vukovic:
Filtrations of generalized Veltman models. 412-419 - Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin:
The enumeration spectrum hierarchy of n-families. 420-426 - David Nyiri:
The Robinson property and amalgamations of higher arities. 427-433 - Saharon Shelah, Wolfgang Wohofsky:
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, Saharon Shelah:
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, Leen Torenvliet:
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-04-04 23:30 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:
