The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Journals in DBLP

Math. Log. Q.
1994, volume: 40, number:

  1. Xiaokang Yu
    Lebesgue Convergence Theorems and Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:1-13 [Journal]
  2. Frieder Haug
    On Preservation of Stability for Finite Extensions of Abelian Groups. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:14-26 [Journal]
  3. John L. Bell
    Fregean Extensions of First-Order Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:27-30 [Journal]
  4. Olga Kosheleva, Vladik Kreinovich
    An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube? [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:31-34 [Journal]
  5. Douglas S. Bridges, Hajime Ishihara
    Complements of Intersections in Constructive Mathematics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:35-43 [Journal]
  6. Andrei A. Kuzichev
    Translations of Logical Formulas and the Equiconsistency Problem. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:44-50 [Journal]
  7. Antonín Sochor
    Choices of Convenient Sets. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:51-60 [Journal]
  8. Jordi Rebagliato, Ventura Verdú
    A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:61-68 [Journal]
  9. Hirokazu Nishimura
    Boolean Valued and Stone Algebra Valued Measure Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:69-75 [Journal]
  10. Victor Pambuccian
    Ternary Operations as Primitive Notions for Constructive Plane Geometry IV. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:76-86 [Journal]
  11. Stephan Wehner
    The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is Sigma5-Complete. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:87-94 [Journal]
  12. Bozena Piekart, Henryk Kotlarski
    Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:95-102 [Journal]
  13. Teresa Bigorajska
    Universal Induction and True Universal Arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:103-105 [Journal]
  14. Yuefei Sui
    A New Reducibility between Turing- and wtt-Reducibility. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:106-110 [Journal]
  15. J. W. Degen
    Some Aspects and Examples of Infinity Notions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:111-124 [Journal]
  16. Carlo Toffalori, Annalisa Marcja
    Abelian-by-G Groups, for G Finite, from the Model Theoretic Point of View. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:125-131 [Journal]
  17. Iain A. Stewart
    Monotonicity and the Expressibility of NP Operators. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:132-140 [Journal]
  18. Stanley Burris
    Model Companions with Finitely Many Countable Models. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:141-142 [Journal]
  19. John T. Baldwin, Masanori Itai
    K-generic Projective Planes have Morley Rank Two or Infinity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:143-152 [Journal]
  20. Tatsuya Shimura, Ryo Kashima
    Cut-Elimination Theorem for the Logic of Constant Domains. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:153-172 [Journal]
  21. Christopher J. Ash, Julia F. Knight
    A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:173-181 [Journal]
  22. Silvio Valentini
    Representation Theorems for Quantales. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:182-190 [Journal]
  23. Daniel Gluschankof
    The Elementary Classes of Direct and Boolean Products. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:191-203 [Journal]
  24. Victor L. Selivanov
    Recursiveness of omega-Operations. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:204-206 [Journal]
  25. Claude Laflamme
    Bonnding and Dominating Number of Families of Functions on omega. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:207-223 [Journal]
  26. Frank Stephan, Martin Kummer
    Effective Search Problems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:224-236 [Journal]
  27. Armin Hemmerling
    Navigation Without Perception of Coordinates and Distances. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:237-260 [Journal]
  28. Andrea Sorbi, Sandra Fontani, Franco Montagna
    A Note on Relative Efficiency of Axiom Systems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:261-272 [Journal]
  29. Adam Cichon, Wilfried Buchholz, Andreas Weiermann
    A Uniform Approach to Fundamental Sequences and Hierarchies. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:273-286 [Journal]
  30. Decheng Ding, Klaus Ambos-Spies
    Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:287-317 [Journal]
  31. Larry Mathews
    Completions of Convexly Ordered Valuation Rings. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:318-330 [Journal]
  32. Antonio di Nola, Lawrence Peter Belluce, Salvatore Sessa
    The Prime Spectrum of an MV-Algebra. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:331-346 [Journal]
  33. Friederike Körner
    Cofinal Indiscernibles and some Applications to New Foundations. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:347-356 [Journal]
  34. Giangiacomo Gerla
    An Extension Principle for Fuzzy Logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:357-380 [Journal]
  35. Jouko A. Väänänen, Heikki Heikkilä
    Reflection of Long Game Formulas. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:381-392 [Journal]
  36. Christopher J. Ash
    A Conjecture Concerning the Spectrum of a Sentence. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:393-397 [Journal]
  37. Matthew Valeriote
    On Solvable Congruences in Finitely Decidable Varieties. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:398-414 [Journal]
  38. Karl-Heinz Diener
    A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:415-421 [Journal]
  39. Michael Deutsch
    A Note on the Theorems of Church-Turing and Trachtenbrot. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:422-424 [Journal]
  40. Mario J. Pérez-Jiménez, Alejandro Fernández-Margarit
    Maximum Schemes in Arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:425-430 [Journal]
  41. Antoni Torrens
    Cyclic Elements in MV-Algebras and Post Algebras. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:431-444 [Journal]
  42. Larry Mathews
    Hilbert's 17th Problem for Real Closed Rings. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:445-454 [Journal]
  43. Victor Pambuccian
    Ternary Operations as Primitive Notions for Constructive Plane Geometry V. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:455-477 [Journal]
  44. Bernhard Banaschewski
    A New Proof that "Krull implies Zorn''. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:478-480 [Journal]
  45. Marcel Crabbé
    The Hauptsatz for Stratified Comprehension: A Semantic Proof. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:481-489 [Journal]
  46. André Nies
    Recursively Enumerable Equivalence Relations Modulo Finite Differences. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:490-518 [Journal]
  47. Douglas S. Bridges, Hajime Ishihara
    Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:519-527 [Journal]
  48. Makoto Kikuchi
    A Note on Boolos' Proof of the Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:528-532 [Journal]
  49. Christine Gaßner
    The Axiom of Choice in Second-Order Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:533-546 [Journal]
  50. Athanassios Tzouvaras
    Omega- and Beta-Models of Alternative Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:547-569 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002