default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 59
Volume 59, Numbers 1-2, February 2013
- Shiguang Feng, Xishun Zhao:
Complexity and expressive power of second-order extended Horn logic. 4-11 - Eric Jaligot:
Two remarks on elementary theories of groups obtained by free constructions. 12-18 - Laurence Kirby:
Ordinal operations on graph representations of sets. 19-26 - Hector Freytes, Graciela Domenech:
Quantum computational logic with mixed states. 27-50 - Teppo Kankaanpää:
Remarks on gaps in Dense(q)/nwd. 51-61 - Abderezak Ould Houcine:
A remark on the definability of the Fitting subgroup and the soluble radical. 62-65 - Norihiro Kamide:
Temporal Gödel-Gentzen and Girard translations. 66-83 - Charalampos Cornaros:
Weak forms of the Regularity Principle in the presence of &equation image;. 84-100 - Timothy H. McNicholl:
Computing links and accessing arcs. 101-107 - Keita Yokoyama
:
On the strength of Ramsey's theorem without Σ1-induction. 108-111 - Rupert McCallum:
A consistency proof for some restrictions of Tait's reflection principles. 112-118 - Viktor Verbovskiy:
On a classification of theories without the independence property. 119-124
Volume 59, Number 3, May 2013
- Paul E. Howard, Eleftherios Tachtsis:
On vector spaces over specific fields without choice. 128-146 - Vladimir Kanovei, Vassily A. Lyubetsky:
On effective σ-boundedness and σ-compactness. 147-166 - William R. Brian:
Non-well-founded extensions of V. 167-176 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions. 177-200 - Ricardo de Aldama:
Definable nilpotent and soluble envelopes in groups without the independence property. 201-205 - Stephen Binns:
Completeness, Compactness, Effective Dimensions. 206-218 - Vinicius Cifú Lopes:
Reduced products and sheaves of metric structures. 219-229 - Toshimichi Usuba:
Hierarchies of ineffabilities. 230-237 - Roland Sh. Omanadze:
On the bounded quasi-degrees of c.e. sets. 238-246 - Quentin Brouette:
A nullstellensatz and a positivstellensatz for ordered differential fields. 247-254
Volume 59, Numbers 4-5, August 2013
- Eric J. Hall, Kyriakos Keremedis, Eleftherios Tachtsis:
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters. 258-267 - San-Min Wang:
The finite model property for semilinear substructural logics. 268-273 - Pimpen Vejjajiva:
Extended Curry-Howard terms for second-order logic. 274-285 - João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas:
Completeness and interpolation of almost-everywhere quantification over finitely additive measures. 286-302 - Gábor Sági, Zalán Gyenis:
Upward Morley's theorem downward. 303-331 - Richard Kaye:
The arithmetic of cuts in models of arithmetic. 332-351 - Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens:
Uniformly convex Banach spaces are reflexive - constructively. 352-356 - Jouko Väänänen, Tong Wang:
An Ehrenfeucht-Fraïssé game for Lω1ω. 357-370 - Arthur W. Apter:
Indestructible strong compactness and level by level inequivalence. 371-377
Volume 59, Number 6, November 2013
- Kyriakos Keremedis:
The Boolean prime ideal theorem and products of cofinite topologies. 382-392 - James G. Raftery:
Inconsistency lemmas in algebraic logic. 393-406 - Sinisa Crvenkovic, Melanija Mitrovic, Daniel Abraham Romano:
Semigroups with apartness. 407-414 - Stefano Mazzanti:
Iteration on notation and unary functions. 415-434 - Josep Maria Font:
The simplest protoalgebraic logic. 435-451 - Roman Wencel:
On the strong cell decomposition property for weakly o-minimal structures. 452-470 - Iraj Kalantari, Larry Welch:
When series of computable functions with varying domains are computable. 471-493
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:36 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:
