Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mlq/mlq40.bht:"
download as .bib file
@article{DBLP:journals/mlq/Ash94,
author = {Christopher J. Ash},
title = {A Conjecture Concerning the Spectrum of a Sentence},
journal = {Math. Log. Q.},
volume = {40},
pages = {393--397},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400308},
doi = {10.1002/MALQ.19940400308},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ash94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AshK94,
author = {Christopher J. Ash and
Julia F. Knight},
title = {A Completeness Theorem for Certain Classes of Recursive Infinitary
Formulas},
journal = {Math. Log. Q.},
volume = {40},
pages = {173--181},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400204},
doi = {10.1002/MALQ.19940400204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AshK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BaldwinI94,
author = {John T. Baldwin and
Masanori Itai},
title = {\emph{K}-generic Projective Planes have Morley Rank Two or Infinity},
journal = {Math. Log. Q.},
volume = {40},
pages = {143--152},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400202},
doi = {10.1002/MALQ.19940400202},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BaldwinI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Banaschewski94,
author = {Bernhard Banaschewski},
title = {A New Proof that "Krull implies Zorn"},
journal = {Math. Log. Q.},
volume = {40},
pages = {478--480},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400405},
doi = {10.1002/MALQ.19940400405},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Banaschewski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bell94,
author = {John L. Bell},
title = {Fregean Extensions of First-Order Theories},
journal = {Math. Log. Q.},
volume = {40},
pages = {27--30},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400104},
doi = {10.1002/MALQ.19940400104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bell94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bigorajska94,
author = {Teresa Bigorajska},
title = {Universal Induction and True Universal Arithmetic},
journal = {Math. Log. Q.},
volume = {40},
pages = {103--105},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400114},
doi = {10.1002/MALQ.19940400114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bigorajska94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesI94,
author = {Douglas S. Bridges and
Hajime Ishihara},
title = {Complements of Intersections in Constructive Mathematics},
journal = {Math. Log. Q.},
volume = {40},
pages = {35--43},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400106},
doi = {10.1002/MALQ.19940400106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BridgesI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesI94a,
author = {Douglas S. Bridges and
Hajime Ishihara},
title = {Absolute Continuity and the Uniqueness of the Constructive Functional
Calculus},
journal = {Math. Log. Q.},
volume = {40},
pages = {519--527},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400408},
doi = {10.1002/MALQ.19940400408},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BridgesI94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Burris94,
author = {Stanley Burris},
title = {Model Companions with Finitely Many Countable Models},
journal = {Math. Log. Q.},
volume = {40},
pages = {141--142},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400119},
doi = {10.1002/MALQ.19940400119},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Burris94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CichonBW94,
author = {Adam Cichon and
Wilfried Buchholz and
Andreas Weiermann},
title = {A Uniform Approach to Fundamental Sequences and Hierarchies},
journal = {Math. Log. Q.},
volume = {40},
pages = {273--286},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400212},
doi = {10.1002/MALQ.19940400212},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CichonBW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Crabbe94,
author = {Marcel Crabb{\'{e}}},
title = {The Hauptsatz for Stratified Comprehension: {A} Semantic Proof},
journal = {Math. Log. Q.},
volume = {40},
pages = {481--489},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400406},
doi = {10.1002/MALQ.19940400406},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Crabbe94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Degen94,
author = {J. W. Degen},
title = {Some Aspects and Examples of Infinity Notions},
journal = {Math. Log. Q.},
volume = {40},
pages = {111--124},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400116},
doi = {10.1002/MALQ.19940400116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Degen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Deutsch94,
author = {Michael Deutsch},
title = {A Note on the Theorems of Church-Turing and Trachtenbrot},
journal = {Math. Log. Q.},
volume = {40},
pages = {422--424},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400311},
doi = {10.1002/MALQ.19940400311},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Deutsch94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Diener94,
author = {Karl{-}Heinz Diener},
title = {A Remark an Ascending Chain Conditions, the Countable Axiom of Choice
and the Principle of Dependent Choices},
journal = {Math. Log. Q.},
volume = {40},
pages = {415--421},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400310},
doi = {10.1002/MALQ.19940400310},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Diener94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DingA94,
author = {Decheng Ding and
Klaus Ambos{-}Spies},
title = {Discontinuity of Cappings in the Recursively Enumerable Degrees and
Strongly Nonbranching Degrees},
journal = {Math. Log. Q.},
volume = {40},
pages = {287--317},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400302},
doi = {10.1002/MALQ.19940400302},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DingA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gassner94,
author = {Christine Ga{\ss}ner},
title = {The Axiom of Choice in Second-Order Predicate Logic},
journal = {Math. Log. Q.},
volume = {40},
pages = {533--546},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400410},
doi = {10.1002/MALQ.19940400410},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gassner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gerla94,
author = {Giangiacomo Gerla},
title = {An Extension Principle for Fuzzy Logics},
journal = {Math. Log. Q.},
volume = {40},
pages = {357--380},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400306},
doi = {10.1002/MALQ.19940400306},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gerla94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gluschankof94,
author = {Daniel Gluschankof},
title = {The Elementary Classes of Direct and Boolean Products},
journal = {Math. Log. Q.},
volume = {40},
pages = {191--203},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400206},
doi = {10.1002/MALQ.19940400206},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gluschankof94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Haug94,
author = {Frieder Haug},
title = {On Preservation of Stability for Finite Extensions of Abelian Groups},
journal = {Math. Log. Q.},
volume = {40},
pages = {14--26},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400103},
doi = {10.1002/MALQ.19940400103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Haug94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling94,
author = {Armin Hemmerling},
title = {Navigation Without Perception of Coordinates and Distances},
journal = {Math. Log. Q.},
volume = {40},
pages = {237--260},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400210},
doi = {10.1002/MALQ.19940400210},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hemmerling94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kikuchi94,
author = {Makoto Kikuchi},
title = {A Note on Boolos' Proof of the Incompleteness Theorem},
journal = {Math. Log. Q.},
volume = {40},
pages = {528--532},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400409},
doi = {10.1002/MALQ.19940400409},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kikuchi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Korner94,
author = {Friederike K{\"{o}}rner},
title = {Cofinal Indiscernibles and some Applications to New Foundations},
journal = {Math. Log. Q.},
volume = {40},
pages = {347--356},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400305},
doi = {10.1002/MALQ.19940400305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Korner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KoshelevaK94,
author = {Olga Kosheleva and
Vladik Kreinovich},
title = {An Application of Logic to Combinatorial Geometry: How Many Tetrahedra
are Equidecomposable with a Cube?},
journal = {Math. Log. Q.},
volume = {40},
pages = {31--34},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400105},
doi = {10.1002/MALQ.19940400105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KoshelevaK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuzichev94,
author = {Andrei A. Kuzichev},
title = {Translations of Logical Formulas and the Equiconsistency Problem},
journal = {Math. Log. Q.},
volume = {40},
pages = {44--50},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400107},
doi = {10.1002/MALQ.19940400107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kuzichev94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Laflamme94,
author = {Claude Laflamme},
title = {Bonnding and Dominating Number of Families of Functions on {\(\omega\)}},
journal = {Math. Log. Q.},
volume = {40},
pages = {207--223},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400208},
doi = {10.1002/MALQ.19940400208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Laflamme94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mathews94,
author = {Larry Mathews},
title = {Completions of Convexly Ordered Valuation Rings},
journal = {Math. Log. Q.},
volume = {40},
pages = {318--330},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400303},
doi = {10.1002/MALQ.19940400303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mathews94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mathews94a,
author = {Larry Mathews},
title = {Hilbert's 17th Problem for Real Closed Rings},
journal = {Math. Log. Q.},
volume = {40},
pages = {445--454},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400403},
doi = {10.1002/MALQ.19940400403},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mathews94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nies94,
author = {Andr{\'{e}} Nies},
title = {Recursively Enumerable Equivalence Relations Modulo Finite Differences},
journal = {Math. Log. Q.},
volume = {40},
pages = {490--518},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400407},
doi = {10.1002/MALQ.19940400407},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nies94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nishimura94,
author = {Hirokazu Nishimura},
title = {Boolean Valued and Stone Algebra Valued Measure Theories},
journal = {Math. Log. Q.},
volume = {40},
pages = {69--75},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400110},
doi = {10.1002/MALQ.19940400110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nishimura94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/NolaBS94,
author = {Antonio Di Nola and
Lawrence Peter Belluce and
Salvatore Sessa},
title = {The Prime Spectrum of an MV-Algebra},
journal = {Math. Log. Q.},
volume = {40},
pages = {331--346},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400304},
doi = {10.1002/MALQ.19940400304},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/NolaBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pambuccian94,
author = {Victor Pambuccian},
title = {Ternary Operations as Primitive Notions for Constructive Plane Geometry
{IV}},
journal = {Math. Log. Q.},
volume = {40},
pages = {76--86},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400111},
doi = {10.1002/MALQ.19940400111},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Pambuccian94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pambuccian94a,
author = {Victor Pambuccian},
title = {Ternary Operations as Primitive Notions for Constructive Plane Geometry
{V}},
journal = {Math. Log. Q.},
volume = {40},
pages = {455--477},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400404},
doi = {10.1002/MALQ.19940400404},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Pambuccian94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Perez-JimenezF94,
author = {Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Alejandro Fern{\'{a}}ndez{-}Margarit},
title = {Maximum Schemes in Arithmetic},
journal = {Math. Log. Q.},
volume = {40},
pages = {425--430},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400312},
doi = {10.1002/MALQ.19940400312},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Perez-JimenezF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PiekartK94,
author = {Bozena Piekart and
Henryk Kotlarski},
title = {Automorphisms of Models of True Arithmetic: Subgroups which Extend
to a Maximal Subgroup Uniquely},
journal = {Math. Log. Q.},
volume = {40},
pages = {95--102},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400113},
doi = {10.1002/MALQ.19940400113},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PiekartK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RebagliatoV94,
author = {Jordi Rebagliato and
Ventura Verd{\'{u}}},
title = {A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment
of the Intuitionistic Propositional Calculus},
journal = {Math. Log. Q.},
volume = {40},
pages = {61--68},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400109},
doi = {10.1002/MALQ.19940400109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RebagliatoV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Selivanov94,
author = {Victor L. Selivanov},
title = {Recursiveness of {\(\omega\)}-Operations},
journal = {Math. Log. Q.},
volume = {40},
pages = {204--206},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400207},
doi = {10.1002/MALQ.19940400207},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Selivanov94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ShimuraK94,
author = {Tatsuya Shimura and
Ryo Kashima},
title = {Cut-Elimination Theorem for the Logic of Constant Domains},
journal = {Math. Log. Q.},
volume = {40},
pages = {153--172},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400203},
doi = {10.1002/MALQ.19940400203},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ShimuraK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sochor94,
author = {Anton{\'{\i}}n Sochor},
title = {Choices of Convenient Sets},
journal = {Math. Log. Q.},
volume = {40},
pages = {51--60},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400108},
doi = {10.1002/MALQ.19940400108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sochor94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SorbiFM94,
author = {Andrea Sorbi and
Sandra Fontani and
Franco Montagna},
title = {A Note on Relative Efficiency of Axiom Systems},
journal = {Math. Log. Q.},
volume = {40},
pages = {261--272},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400211},
doi = {10.1002/MALQ.19940400211},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SorbiFM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/StephanK94,
author = {Frank Stephan and
Martin Kummer},
title = {Effective Search Problems},
journal = {Math. Log. Q.},
volume = {40},
pages = {224--236},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400209},
doi = {10.1002/MALQ.19940400209},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/StephanK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Stewart94,
author = {Iain A. Stewart},
title = {Monotonicity and the Expressibility of {NP} Operators},
journal = {Math. Log. Q.},
volume = {40},
pages = {132--140},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400118},
doi = {10.1002/MALQ.19940400118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Stewart94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sui94,
author = {Yuefei Sui},
title = {A New Reducibility between Turing- and wtt-Reducibility},
journal = {Math. Log. Q.},
volume = {40},
pages = {106--110},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400115},
doi = {10.1002/MALQ.19940400115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sui94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ToffaloriM94,
author = {Carlo Toffalori and
Annalisa Marcja},
title = {Abelian-by-\emph{G} Groups, for \emph{G} Finite, from the Model Theoretic
Point of View},
journal = {Math. Log. Q.},
volume = {40},
pages = {125--131},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400117},
doi = {10.1002/MALQ.19940400117},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ToffaloriM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Torrens94,
author = {Antoni Torrens},
title = {Cyclic Elements in MV-Algebras and Post Algebras},
journal = {Math. Log. Q.},
volume = {40},
pages = {431--444},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400402},
doi = {10.1002/MALQ.19940400402},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Torrens94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tzouvaras94,
author = {Athanassios Tzouvaras},
title = {Omega- and Beta-Models of Alternative Set Theory},
journal = {Math. Log. Q.},
volume = {40},
pages = {547--569},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400411},
doi = {10.1002/MALQ.19940400411},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tzouvaras94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/VaananenH94,
author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
Heikki Heikkil{\"{a}}},
title = {Reflection of Long Game Formulas},
journal = {Math. Log. Q.},
volume = {40},
pages = {381--392},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400307},
doi = {10.1002/MALQ.19940400307},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/VaananenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valentini94,
author = {Silvio Valentini},
title = {Representation Theorems for Quantales},
journal = {Math. Log. Q.},
volume = {40},
pages = {182--190},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400205},
doi = {10.1002/MALQ.19940400205},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valentini94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Valeriote94,
author = {Matthew Valeriote},
title = {On Solvable Congruences in Finitely Decidable Varieties},
journal = {Math. Log. Q.},
volume = {40},
pages = {398--414},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400309},
doi = {10.1002/MALQ.19940400309},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Valeriote94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wehner94,
author = {Stephan Wehner},
title = {The Index Set of Injectively Enumerable Classes of Recursively Enumerable
Sets is {\(\sum\)}\({}_{\mbox{5}}\)-Complete},
journal = {Math. Log. Q.},
volume = {40},
pages = {87--94},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400112},
doi = {10.1002/MALQ.19940400112},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wehner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Yu94,
author = {Xiaokang Yu},
title = {Lebesgue Convergence Theorems and Reverse Mathematics},
journal = {Math. Log. Q.},
volume = {40},
pages = {1--13},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400102},
doi = {10.1002/MALQ.19940400102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Yu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-24 00:55 CEST from data curated 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:
