for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> MATHEMATICS (Total: 1008 journals)
    - APPLIED MATHEMATICS (82 journals)
    - GEOMETRY AND TOPOLOGY (21 journals)
    - MATHEMATICS (747 journals)
    - MATHEMATICS (GENERAL) (41 journals)
    - NUMERICAL ANALYSIS (22 journals)
    - PROBABILITIES AND MATH STATISTICS (95 journals)

MATHEMATICS (747 journals)                  1 2 3 4 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 4)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 4)
Academic Voices : A Multidisciplinary Journal     Open Access   (Followers: 2)
Accounting Perspectives     Full-text available via subscription   (Followers: 7)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 15)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 3)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 6)
ACS Applied Materials & Interfaces     Hybrid Journal   (Followers: 35)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
Acta Mathematica     Hybrid Journal   (Followers: 13)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2)
Acta Mathematica Scientia     Full-text available via subscription   (Followers: 5)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6)
Acta Mathematica Vietnamica     Hybrid Journal  
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal  
Advanced Science Letters     Full-text available via subscription   (Followers: 11)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 4)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 6)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 10)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 19)
Advances in Decision Sciences     Open Access   (Followers: 3)
Advances in Difference Equations     Open Access   (Followers: 3)
Advances in Fixed Point Theory     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 14)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 6)
Advances in Materials Science     Open Access   (Followers: 15)
Advances in Mathematical Physics     Open Access   (Followers: 5)
Advances in Mathematics     Full-text available via subscription   (Followers: 11)
Advances in Nonlinear Analysis     Hybrid Journal  
Advances in Numerical Analysis     Open Access   (Followers: 7)
Advances in Operations Research     Open Access   (Followers: 12)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Pure and Applied Mathematics     Hybrid Journal   (Followers: 7)
Advances in Pure Mathematics     Open Access   (Followers: 7)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2)
African Journal of Educational Studies in Mathematics and Sciences     Full-text available via subscription   (Followers: 5)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 4)
Afrika Matematika     Hybrid Journal   (Followers: 1)
Air, Soil & Water Research     Open Access   (Followers: 14)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 1)
Al-Jabar : Jurnal Pendidikan Matematika     Open Access   (Followers: 1)
Algebra and Logic     Hybrid Journal   (Followers: 6)
Algebra Colloquium     Hybrid Journal   (Followers: 4)
Algebra Universalis     Hybrid Journal   (Followers: 2)
Algorithmic Operations Research     Open Access   (Followers: 5)
Algorithms     Open Access   (Followers: 11)
Algorithms Research     Open Access   (Followers: 1)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 5)
American Journal of Mathematical Analysis     Open Access  
American Journal of Mathematics     Full-text available via subscription   (Followers: 6)
American Journal of Operations Research     Open Access   (Followers: 5)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 11)
Anadol University Journal of Science and Technology B : Theoritical Sciences     Open Access  
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access   (Followers: 1)
Analysis and Applications     Hybrid Journal   (Followers: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 5)
Analysis Mathematica     Full-text available via subscription  
Analysis. International mathematical journal of analysis and its applications     Hybrid Journal   (Followers: 2)
Annales Mathematicae Silesianae     Open Access  
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica     Open Access  
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1)
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Data Science     Hybrid Journal   (Followers: 12)
Annals of Discrete Mathematics     Full-text available via subscription   (Followers: 6)
Annals of Mathematics     Full-text available via subscription   (Followers: 1)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 12)
Annals of Pure and Applied Logic     Open Access   (Followers: 3)
Annals of the Alexandru Ioan Cuza University - Mathematics     Open Access  
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1)
Annals of West University of Timisoara - Mathematics     Open Access  
Annals of West University of Timisoara - Mathematics and Computer Science     Open Access  
Annuaire du Collège de France     Open Access   (Followers: 6)
ANZIAM Journal     Open Access   (Followers: 1)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2)
Applications of Mathematics     Hybrid Journal   (Followers: 2)
Applied Categorical Structures     Hybrid Journal   (Followers: 5)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 14)
Applied Mathematics     Open Access   (Followers: 3)
Applied Mathematics     Open Access   (Followers: 7)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 8)
Applied Mathematics - A Journal of Chinese Universities     Hybrid Journal  
Applied Mathematics Letters     Full-text available via subscription   (Followers: 2)
Applied Mathematics Research eXpress     Hybrid Journal   (Followers: 1)
Applied Network Science     Open Access   (Followers: 3)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 7)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 3)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 3)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 6)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 6)
Arkiv för Matematik     Hybrid Journal   (Followers: 2)
Armenian Journal of Mathematics     Open Access  
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites     Open Access   (Followers: 21)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian-European Journal of Mathematics     Hybrid Journal   (Followers: 2)
Australian Mathematics Teacher, The     Full-text available via subscription   (Followers: 6)
Australian Primary Mathematics Classroom     Full-text available via subscription   (Followers: 4)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 1)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Axioms     Open Access   (Followers: 1)
Baltic International Yearbook of Cognition, Logic and Communication     Open Access   (Followers: 1)
Basin Research     Hybrid Journal   (Followers: 5)
BIBECHANA     Open Access   (Followers: 2)
Biomath     Open Access  
BIT Numerical Mathematics     Hybrid Journal  
Boletim Cearense de Educação e História da Matemática     Open Access  
Boletim de Educação Matemática     Open Access  
Boletín de la Sociedad Matemática Mexicana     Hybrid Journal  
Bollettino dell'Unione Matematica Italiana     Full-text available via subscription   (Followers: 1)
British Journal of Mathematical and Statistical Psychology     Full-text available via subscription   (Followers: 20)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 13)
Bulletin des Sciences Mathamatiques     Full-text available via subscription   (Followers: 4)
Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory     Open Access   (Followers: 3)
Bulletin of Mathematical Sciences     Open Access   (Followers: 1)
Bulletin of Symbolic Logic     Full-text available via subscription   (Followers: 2)
Bulletin of the Australian Mathematical Society     Full-text available via subscription   (Followers: 1)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 4)
Bulletin of the Malaysian Mathematical Sciences Society     Hybrid Journal  
Calculus of Variations and Partial Differential Equations     Hybrid Journal  
Canadian Journal of Science, Mathematics and Technology Education     Hybrid Journal   (Followers: 19)
Carpathian Mathematical Publications     Open Access   (Followers: 1)
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CEAS Space Journal     Hybrid Journal   (Followers: 2)
CHANCE     Hybrid Journal   (Followers: 5)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
ChemSusChem     Hybrid Journal   (Followers: 7)
Chinese Annals of Mathematics, Series B     Hybrid Journal  
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
Chinese Journal of Mathematics     Open Access  
Clean Air Journal     Full-text available via subscription   (Followers: 1)
Cogent Mathematics     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
Collectanea Mathematica     Hybrid Journal  
COMBINATORICA     Hybrid Journal  
Combinatorics, Probability and Computing     Hybrid Journal   (Followers: 4)
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Commentarii Mathematici Helvetici     Hybrid Journal   (Followers: 1)
Communications in Advanced Mathematical Sciences     Open Access  
Communications in Combinatorics and Optimization     Open Access  
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 2)
Communications On Pure & Applied Mathematics     Hybrid Journal   (Followers: 3)
Complex Analysis and its Synergies     Open Access   (Followers: 2)
Complex Variables and Elliptic Equations: An International Journal     Hybrid Journal  
Complexus     Full-text available via subscription  
Composite Materials Series     Full-text available via subscription   (Followers: 8)
Compositio Mathematica     Full-text available via subscription   (Followers: 1)
Comptes Rendus Mathematique     Full-text available via subscription   (Followers: 1)
Computational and Applied Mathematics     Hybrid Journal   (Followers: 3)
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 8)
Computational Mechanics     Hybrid Journal   (Followers: 5)
Computational Methods and Function Theory     Hybrid Journal  
Computational Optimization and Applications     Hybrid Journal   (Followers: 8)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 9)
Concrete Operators     Open Access   (Followers: 5)
Confluentes Mathematici     Hybrid Journal  
Contributions to Game Theory and Management     Open Access  
COSMOS     Hybrid Journal  
Cryptography and Communications     Hybrid Journal   (Followers: 13)
Cuadernos de Investigación y Formación en Educación Matemática     Open Access  
Cubo. A Mathematical Journal     Open Access  
Current Research in Biostatistics     Open Access   (Followers: 9)
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Demographic Research     Open Access   (Followers: 13)
Demonstratio Mathematica     Open Access  
Dependence Modeling     Open Access  
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 31)
Developments in Clay Science     Full-text available via subscription   (Followers: 1)
Developments in Mineral Processing     Full-text available via subscription   (Followers: 3)
Dhaka University Journal of Science     Open Access  
Differential Equations and Dynamical Systems     Hybrid Journal   (Followers: 4)
Differentsial'nye Uravneniya     Open Access  
Discrete Mathematics     Hybrid Journal   (Followers: 8)
Discrete Mathematics & Theoretical Computer Science     Open Access  
Discrete Mathematics, Algorithms and Applications     Hybrid Journal   (Followers: 2)
Discussiones Mathematicae - General Algebra and Applications     Open Access  
Discussiones Mathematicae Graph Theory     Open Access   (Followers: 1)
Diskretnaya Matematika     Full-text available via subscription  
Dnipropetrovsk University Mathematics Bulletin     Open Access  
Doklady Akademii Nauk     Open Access  
Doklady Mathematics     Hybrid Journal  
Duke Mathematical Journal     Full-text available via subscription   (Followers: 1)
Eco Matemático     Open Access  
Econometrics     Open Access   (Followers: 2)
Edited Series on Advances in Nonlinear Science and Complexity     Full-text available via subscription  
Educação Matemática Debate     Open Access  
EduMatSains     Open Access  
Electronic Journal of Combinatorics     Open Access  

        1 2 3 4 | Last

Journal Cover
Algebra and Logic
Journal Prestige (SJR): 0.531
Number of Followers: 6  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1573-8302 - ISSN (Online) 0002-5232
Published by Springer-Verlag Homepage  [2352 journals]
  • Conjugacy of Maximal and Submaximal 𝔛-Subgroups
    • Authors: W. Guo; D. O. Revin
      Pages: 169 - 181
      Abstract: Let 𝔛 be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Following H. Wielandt, we call a subgroup H of a finite group G a submaximal 𝔛-subgroup if there exists an isomorpic embedding ϕ: G ↪ G* of the group G into some finite group G* under which Gϕ is subnormal in G* and Hϕ = K ∩Gϕ for some maximal 𝔛-subgroup K of G*. We discuss the following question formulated by Wielandt: Is it always the case that all submaximal 𝔛-subgroups are conjugate in a finite group G in which all maximal 𝔛-subgroups are conjugate? This question strengthens Wielandt’s known problem of closedness for the class of -groups under extensions, which was solved some time ago. We prove that it is sufficient to answer the question mentioned for the case where G is a simple group.
      PubDate: 2018-07-01
      DOI: 10.1007/s10469-018-9490-9
      Issue No: Vol. 57, No. 3 (2018)
       
  • Projections of Finite Commutative Rings with Identity
    • Authors: S. S. Korobkov
      Pages: 186 - 200
      Abstract: Associative rings R and R′ are said to be lattice-isomorphic if their subring lattices L(R) and L(R′) are isomorphic. An isomorphism of the lattice L(R) onto the lattice L(R′) is called a projection (or a lattice isomorphism) of the ring R onto the ring R′. A ring R′ is called the projective image of a ring R. We study lattice isomorphisms of finite commutative rings with identity. The objective is to specify sufficient conditions subject to which rings under lattice homomorphisms preserve the following properties: to be a commutative ring, to be a ring with identity, to be decomposable into a direct sum of ideals. We look into the question about the projective image of the Jacobson radical of a ring. In the first part, the previously obtained results on projections of finite commutative semiprime rings are supplemented with new information. Lattice isomorphisms of finite commutative rings decomposable into direct sums of fields and nilpotent ideals are taken up in the second part. Rings definable by their subring lattices are exemplified. Projections of finite commutative rings decomposable into direct sums of Galois rings and nilpotent ideals are considered in the third part. It is proved that the presence in a ring of a direct summand definable by its subring lattice (i.e., the Galois ring GR(pn,m), where n > 1 and m > 1) leads to strong connections between the properties of R and R′.
      PubDate: 2018-07-01
      DOI: 10.1007/s10469-018-9492-7
      Issue No: Vol. 57, No. 3 (2018)
       
  • Characterization of Simple Symplectic Groups of Degree 4 over Locally
           Finite Fields in the Class of Periodic Groups
    • Authors: D. V. Lytkina; V. D. Mazurov
      Pages: 201 - 210
      Abstract: Let G be a periodic group containing an element of order 2 such that each of its finite subgroups of even order lies in a finite subgroup isomorphic to a simple symplectic group of degree 4. It is shown that G is isomorphic to a simple symplectic group S4(Q) of degree 4 over some locally finite field Q.
      PubDate: 2018-07-01
      DOI: 10.1007/s10469-018-9493-6
      Issue No: Vol. 57, No. 3 (2018)
       
  • Finiteness of a 3-Generated Lattice with Seminormal and Coseminormal
           Elements Among Generators
    • Authors: M. P. Shushpanov
      Pages: 237 - 247
      Abstract: It is known that a modular 3-generated lattice is always finite and contains at most 28 elements. Lattices generated by three elements with certain modularity properties may no longer be modular but nevertheless remain finite. It is shown that a 3-generated lattice among generating elements of which one is seminormal and another is coseminormal is finite and contains at most 45 elements. This estimate is stated to be sharp.
      PubDate: 2018-07-01
      DOI: 10.1007/s10469-018-9496-3
      Issue No: Vol. 57, No. 3 (2018)
       
  • Sessions of the Seminar “Algebra i Logika”
    • Pages: 248 - 250
      PubDate: 2018-07-01
      DOI: 10.1007/s10469-018-9497-2
      Issue No: Vol. 57, No. 3 (2018)
       
  • Sessions of the Seminar “Algebra i Logika”
    • PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9512-7
       
  • The Specht Property of L -Varieties of Vector Spaces Over an Arbitrary
           Field
    • Abstract: We study the Specht property for L-varieties of vector spaces embedded in associative algebras over an arbitrary field. An L-variety with no finite basis of identities over a field, which is the join of two Spechtian L-varieties, is exemplified. A condition under which L-varieties will have the Specht property is found.
      PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9508-3
       
  • The Axiomatic Rank of Levi Classes
    • Abstract: A Levi class L(ℳ) generated by a class ℳ of groups is a class of all groups in which the normal closure of each element belongs to ℳ. It is stated that there exist finite groups G such that a Levi class L(qG), where qG is a quasivariety generated by a group G, has infinite axiomatic rank. This is a solution for [The Kourovka Notebook, Quest. 15.36]. Moreover, it is proved that a Levi class L(ℳ), where ℳ is a quasivariety generated by a relatively free 2-step nilpotent group of exponent ps with a commutator subgroup of order p, p is a prime, p ≠ 2, s ≥ 2, is finitely axiomatizable.
      PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9510-9
       
  • Forcing Formulas in Fraïssé Structures and Classes
    • Abstract: We come up with a semantic method of forcing formulas by finite structures in an arbitrary fixed Fraïssé class . Both known and some new necessary and sufficient conditions are derived under which a given structure will be a forcing structure. A formula φ is forced on \( \overline{a} \) in an infinite structure ╟φ \( \left(\overline{a}\right) \) if it is forced in by some finite substructure of . It is proved that every ∃∀∃-sentence true in a forcing structure is also true in any existentially closed companion of the structure. The new concept of a forcing type plays an important role in studying forcing models. It is proved that an arbitrary structure will be a forcing structure iff all existential types realized in the structure are forcing types. It turns out that an existentially closed structure which is simple over a tuple realizing a forcing type will itself be a forcing structure. Moreover, every forcing type is realized in an existentially closed structure that is a model of a complete theory of its forcing companion.
      PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9509-2
       
  • Computable Bi-Embeddable Categoricity
    • PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9511-8
       
  • Polynomially Complete Quasigroups of Prime Order
    • Abstract: We formulate a polynomial completeness criterion for quasigroups of prime order, and show that verification of polynomial completeness may require time polynomial in order. The results obtained are generalized to n-quasigroups for any n ≥ 3. In conclusion, simple corollaries are given on the share of polynomially complete quasigroups among all quasigroups, and on the cycle structure of row and column permutations in Cayley tables for quasigroups that are not polynomially complete.
      PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9505-6
       
  • Nearly Finite-Dimensional Jordan Algebras
    • Abstract: Nearly finite-dimensional Jordan algebras are examined. Analogs of known results are considered. Namely, it is proved that such algebras are prime and nondegenerate. It is shown that the property of being nearly finite-dimensional is preserved in passing from an alternative algebra to an adjoint Jordan algebra. A similar result is established for associative nearly finite-dimensional algebras with involution. It is stated that a nearly finite-dimensional Jordan PI-algebra with unity either is a finite module over a nearly finite-dimensional center or is a central order in an algebra of a nondegenerate symmetric bilinear form. Also the following result holds: if a locally nilpotent ideal has finite codimension in a Jordan algebra with the ascending chain condition on ideals, then that algebra is finite-dimensional. In addition, E. Formanek’s result in [Comm. Alg., 1, No. 1, 79-86 (1974)], which says that associative prime PI-rings with unity are embedded in a free module of finite rank over its center, is generalized to Albert rings.
      PubDate: 2018-12-01
      DOI: 10.1007/s10469-018-9506-5
       
  • Criteria for the Validity of Goldie’s Theorems for Graded Rings
    • Authors: A. L. Kanunnikov
      Abstract: We specify conditions on a group G that are necessary and sufficient for analogs of Goldie’s theorems to hold in a class of G-graded rings, i.e., for every G-graded gr-prime (gr-semiprime) right Goldie ring to possess a completely gr-reducible graded classical right ring of quotients.
      PubDate: 2018-11-30
      DOI: 10.1007/s10469-018-9507-4
       
  • Sessions of the Seminar “Algebra i Logika”
    • PubDate: 2018-11-22
      DOI: 10.1007/s10469-018-9504-7
       
  • Positive Presentations of Families in Relation to Reducibility with
           Respect to Enumerability
    • Authors: I. Sh. Kalimullin; V. G. Puzarenko; M. Kh. Faizrakhmanov
      Abstract: The objects considered here serve both as generalizations of numberings studied in [1] and as particular versions of A-numberings, where 𝔸 is a suitable admissible set, introduced in [2] (in view of the existence of a transformation realizing the passage from e-degrees to admissible sets [3]). The key problem dealt with in the present paper is the existence of Friedberg (single-valued computable) and positive presentations of families. In [3], it was stated that the above-mentioned transformation preserves the majority of properties treated in descriptive set theory. However, it is not hard to show that it also respects the positive (negative, decidable, single-valued) presentations. Note that we will have to extend the concept of a numbering and, in the general case, consider partial maps rather than total ones. The given effect arises under the passage from a hereditarily finite superstructure to natural numbers, since a computable function (in the sense of a hereditarily finite superstructure) realizing an enumeration of the hereditarily finite superstructure for nontotal sets is necessarily a partial function.
      PubDate: 2018-11-21
      DOI: 10.1007/s10469-018-9503-8
       
  • Generic Amplification of Recursively Enumerable Sets
    • Authors: A. N. Rybalov
      Abstract: Generic amplification is a method that allows algebraically undecidable problems to generate problems undecidable for almost all inputs. It is proved that every simple negligible set is undecidable for almost all inputs, but it cannot be obtained via amplification from any undecidable set. On the other hand, it is shown that every recursively enumerable set with nonzero asymptotic density can be obtained via amplification from a set of natural numbers.
      PubDate: 2018-11-21
      DOI: 10.1007/s10469-018-9500-y
       
  • Some Absolute Properties of A -Computable Numberings
    • Authors: S. A. Badaev; A. A. Issakhov
      Abstract: For an arbitrary set A of natural numbers, we prove the following statements: every finite family of A-computable sets containing a least element under inclusion has an Acomputable universal numbering; every infinite A-computable family of total functions has (up to A-equivalence) either one A-computable Friedberg numbering or infinitely many such numberings; every A-computable family of total functions which contains a limit function has no A-computable universal numberings, even with respect to Areducibility.
      PubDate: 2018-11-21
      DOI: 10.1007/s10469-018-9499-0
       
  • Universal Functions and Unbounded Branching Trees
    • Authors: A. N. Khisamiev
      Abstract: It is proved that a universal Σ-function exists in a hereditarily finite superstructure over an unbounded branching tree of finite height.
      PubDate: 2018-11-21
      DOI: 10.1007/s10469-018-9502-9
       
  • Theories of Relatively Free Solvable Groups with Extra Predicate
    • Authors: E. I. Timoshenko
      Abstract: We study elementary and universal theories of relatively free solvable groups in a group signature expanded by one predicate distinguishing primitive or annihilating systems of elements.
      PubDate: 2018-11-21
      DOI: 10.1007/s10469-018-9501-x
       
  • Categoricity for Primitive Recursive and Polynomial Boolean Algebras
    • Authors: P. E. Alaev
      Abstract: We define a class \( \mathbb{K} \) Σ of primitive recursive structures whose existential diagram is decidable with primitive recursive witnesses. It is proved that a Boolean algebra has a presentation in \( \mathbb{K} \) Σ iff it has a computable presentation with computable set of atoms. Moreover, such a Boolean algebra is primitive recursively categorical with respect to \( \mathbb{K} \) Σ iff it has finitely many atoms. The obtained results can also be carried over to Boolean algebras computable in polynomial time.
      PubDate: 2018-11-20
      DOI: 10.1007/s10469-018-9498-1
       
 
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
 
Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs
Your IP address: 34.229.175.129
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-