default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 60
Volume 60, Numbers 1-2, February 2014
- Mohammad Ardeshir, S. Mojtaba Mojtahedi
:
Completeness of intermediate logics with doubly negated axioms. 6-11 - James H. Schmerl:
Cofinal elementary extensions. 12-20 - Albert Ziegler:
A cumulative hierarchy of sets for constructive set theory. 21-30 - Michael Hrusák, Diego Rojas-Rebolledo, Jindrich Zapletal:
Cofinalities of Borel ideals. 31-39 - Oleg V. Belegradek:
The space of minimal structures. 40-53 - Athanasios Tsarpalias:
Matrices of completely Ramsey sets with infinitely many rows. 54-58 - Vincent Guingona, Cameron Donnay Hill:
On Vapnik-Chervonenkis density over indiscernible sequences. 59-65 - Erik Palmgren:
Formal continuity implies uniform continuity near compact images on metric spaces. 66-69 - Costas Poulios, Athanasios Tsarpalias:
Some combinatorial principles for trees and applications to tree families in Banach spaces. 70-83 - Stevo Todorcevic, Víctor Torres Pérez:
Rado's Conjecture and Ascent Paths of Square Sequences. 84-90
- Josep Maria Font:
Erratum to J. M. Font, The simplest protoalgebraic logic. 91
- Albert Visser:
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories. 92-117 - Raphaël Carroy:
Playing in the first Baire class. 118-132
Volume 60, Number 3, May 2014
- Makoto Fujiwara, Kojiro Higuchi, Takayuki Kihara:
On the strength of marriage theorems and uniformity. 136-153 - Miguel Campercholi, Diego Vaggione:
Algebraic functions in quasiprimal algebras. 154-160 - Kuanysh Abeshev:
On the existence of universal numberings for finite families of d.c.e. sets. 161-167 - Seyed Mohammad Bagheri, Roghieh Safari:
Preservation theorems in linear continuous logic. 168-176 - Alexander P. Kreuzer:
From Bolzano-Weierstraß to Arzelà-Ascoli. 177-183 - Kenshi Miyabe:
Algorithmic randomness over general spaces. 184-204 - Janak Ramakrishnan, Charles Steinhorn:
Definably extending partial orders in totally ordered structures. 205-210 - Andrés Villaveces, Pedro Zambrano:
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models. 211-227 - M. Randall Holmes:
On hereditarily small sets in ZF. 228-229 - Joan Gispert, Antoni Torrens:
Lattice BCK logics with Modus Ponens as unique rule. 230-238 - Philipp Kleppmann:
Generating sets of free groups and the axiom of choice. 239-241
Volume 60, Numbers 4-5, August 2014
- Pierre Matet:
Two-cardinal diamond star. 246-265 - Toshimichi Usuba:
Bounded dagger principles. 266-272 - Longyun Ding:
Characterization of ℓp-like and c0-like equivalence relations. 273-279 - Kojiro Higuchi, NingNing Peng:
Defining a randomness notion via another. 280-288 - Alexander Berenstein, Evgueni Vassiliev:
Generic trivializations of geometric theories. 289-303 - Zofia Kostrzycka:
On linear Brouwerian logics. 304-313 - Kentaro Sato:
Forcing for hat inductive definitions in arithmetic. 314-318 - Michal Kozak:
Strong negation in intuitionistic style sequent systems for residuated lattices. 319-334 - Olivia Caramello:
Topologies for intermediate logics. 335-347 - Takashi Sato:
Reverse mathematics and Isbell's zig-zag theorem. 348-353 - Stéphane Le Roux:
From winning strategy to Nash equilibrium. 354-371
Volume 60, Number 6, November 2014
- Marta Sagastume, Hernán Javier San Martín:
The logic Ł•. 375-388 - Jeffrey Scott Leaning, Omer Ben-Neria:
Disassociated indiscernibles. 389-402 - Camilo Enrique Argoty Pulido:
Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator. 403-424 - Hanamantagouda P. Sankappanavar, Júlia Vaz de Carvalho:
Congruence properties of pseudocomplemented De Morgan algebras. 425-436 - John T. Baldwin, Saharon Shelah:
A Hanf number for saturation and omission: the superstable case. 437-443 - Rutger Kuyper:
Computational aspects of satisfiability in probability logic. 444-470 - Arthur W. Apter, Ioanna M. Dimitriou, Peter Koepke:
The first measurable cardinal can be the first uncountable regular cardinal at any successor height. 471-486 - Florian Ranzi, Thomas Strahm:
A note on the theory SID<ω of stratified induction. 487-497
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-10-31 20:04 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:
