for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> MATHEMATICS (Total: 974 journals)
    - APPLIED MATHEMATICS (84 journals)
    - GEOMETRY AND TOPOLOGY (20 journals)
    - MATHEMATICS (715 journals)
    - MATHEMATICS (GENERAL) (43 journals)
    - NUMERICAL ANALYSIS (22 journals)
    - PROBABILITIES AND MATH STATISTICS (90 journals)

MATHEMATICS (715 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: 29)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
Acta Mathematica     Hybrid Journal   (Followers: 12)
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: 10)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 4)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 2)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 7)
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: 13)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 3)
Advances in Materials Sciences     Open Access   (Followers: 14)
Advances in Mathematical Physics     Open Access   (Followers: 4)
Advances in Mathematics     Full-text available via subscription   (Followers: 11)
Advances in Numerical Analysis     Open Access   (Followers: 5)
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: 6)
Advances in Pure Mathematics     Open Access   (Followers: 6)
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: 11)
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     Full-text available via subscription   (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: 8)
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access   (Followers: 1)
Analysis     Hybrid Journal   (Followers: 2)
Analysis and Applications     Hybrid Journal   (Followers: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 5)
Analysis Mathematica     Full-text available via subscription  
Annales Mathematicae Silesianae     Open Access  
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales UMCS, Mathematica     Open Access   (Followers: 1)
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: 2)
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  
Annuaire du Collège de France     Open Access   (Followers: 5)
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: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 11)
Applied Mathematics     Open Access   (Followers: 3)
Applied Mathematics     Open Access   (Followers: 7)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 6)
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: 5)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 3)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 2)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Armenian Journal of Mathematics     Open Access  
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites : The Journal of Space Research Centre of Polish Academy of Sciences     Open Access   (Followers: 20)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian Journal of Current Engineering & Maths     Open Access  
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)
BIT Numerical Mathematics     Hybrid Journal  
BoEM - Boletim online de Educação Matemática     Open Access  
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: 12)
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: 1)
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 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: 2)
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: 7)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 8)
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: 11)
Demonstratio Mathematica     Open Access  
Dependence Modeling     Open Access  
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 29)
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: 3)
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  
Edited Series on Advances in Nonlinear Science and Complexity     Full-text available via subscription  
Electronic Journal of Combinatorics     Open Access  
Electronic Journal of Differential Equations     Open Access  
Electronic Journal of Graph Theory and Applications     Open Access   (Followers: 2)
Electronic Notes in Discrete Mathematics     Full-text available via subscription   (Followers: 2)
Elemente der Mathematik     Full-text available via subscription   (Followers: 4)
Energy for Sustainable Development     Hybrid Journal   (Followers: 9)

        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  [2351 journals]
  • Spectra of Groups E 8 ( q )
    • Authors: A. A. Buturlakin
      Pages: 1 - 8
      Abstract: We give a description of spectra of finite simple and universal groups of Lie type E8.
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9474-9
      Issue No: Vol. 57, No. 1 (2018)
       
  • Maximal and Submaximal 𝔛-Subgroups
    • Authors: W. Guo; D. O. Revin
      Pages: 9 - 28
      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 isomorphic embedding ϕ : G ↪ G * of G into some finite group G * under which G ϕ is subnormal in G * and H ϕ = K ∩ G ϕ for some maximal 𝔛-subgroup K of G * . In the case where 𝔛 coincides with the class of all π-groups for some set π of prime numbers, submaximal 𝔛-subgroups are called submaximal π-subgroups. In his talk at the well-known conference on finite groups in Santa Cruz in 1979, Wielandt emphasized the importance of studying submaximal π-subgroups, listed (without proof) certain of their properties, and formulated a number of open questions regarding these subgroups. Here we prove properties of maximal and submaximal 𝔛- and π-subgroups and discuss some open questions both Wielandt’s and new ones. One of such questions due to Wielandt reads as follows: Is it always the case that all submaximal 𝔛-subgroups are conjugate in a finite group G in which all maximal 𝔛-subgroups are conjugate'
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9475-8
      Issue No: Vol. 57, No. 1 (2018)
       
  • Divisible Rigid Groups. II. Stability, Saturation, and Elementary
           Submodels
    • Authors: A. G. Myasnikov; N. S. Romanovskii
      Pages: 29 - 38
      Abstract: A group G is said to be rigid if it contains a normal series G = G1 > G2 > . . . > G m > Gm+1 = 1, whose quotients G i /Gi+1 are Abelian and, treated as right ℤ[G/G i ]- modules, are torsion-free. A rigid group G is divisible if elements of the quotient G i /Gi+1 are divisible by nonzero elements of the ring ℤ[G/G i ]. Every rigid group is embedded in a divisible one. Previously, it was stated that the theory 𝔗 m of divisible m-rigid groups is complete. Here, it is proved that this theory is ω-stable. Furthermore, we describe saturated models, study elementary submodels of an arbitrary model, and find a representation for a countable saturated model in the form of a limit group in the Fraïssé system of all finitely generated m-rigid groups. Also, it is proved that the theory 𝔗 m admits quantifier elimination down to a Boolean combination of ∀∃-formulas.
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9476-7
      Issue No: Vol. 57, No. 1 (2018)
       
  • Rationality of Verbal Subsets in Solvable Groups
    • Authors: V. A. Roman’kov
      Pages: 39 - 48
      Abstract: A verbal subset of a group G is a set w[G] of all values of a group word w in this group. We consider the question whether verbal subsets of solvable groups are rational in the sense of formal language theory. It is proved that every verbal subset w[N] of a finitely generated nilpotent group N with respect to a word w with positive exponent is rational. Also we point out examples of verbal subsets of finitely generated metabelian groups that are not rational.
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9477-6
      Issue No: Vol. 57, No. 1 (2018)
       
  • Separability of Schur Rings over Abelian p -Groups
    • Authors: G. K. Ryabov
      Pages: 49 - 68
      Abstract: A Schur ring (an S-ring) is said to be separable if each of its algebraic isomorphisms is induced by an isomorphism. Let C n be the cyclic group of order n. It is proved that all S-rings over groups \( D={C}_p\times {C}_{p^k} \) , where p ∈ {2, 3} and k ≥ 1, are separable with respect to a class of S-rings over Abelian groups. From this statement, we deduce that a given Cayley graph over D and a given Cayley graph over an arbitrary Abelian group can be checked for isomorphism in polynomial time with respect to D .
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9478-5
      Issue No: Vol. 57, No. 1 (2018)
       
  • Centralizer Dimensions of Partially Commutative Metabelian Groups
    • Authors: E. I. Timoshenko
      Pages: 69 - 80
      Abstract: We establish an upper bound for the centralizer dimension of a partially commutative metabelian group that depends linearly on the number of vertices in a defining graph. It is proved that centralizer dimensions of 2-generated metabelian groups are not bounded above. The exact value of the centralizer dimension is computed for a partially commutative metabelian group defined by a cycle.
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9479-4
      Issue No: Vol. 57, No. 1 (2018)
       
  • Periodic Groups Saturated with Finite Simple Groups of Lie Type of Rank 1
    • Authors: A. A. Shlepkin
      Pages: 81 - 86
      Abstract: A group G is saturated with groups from a set ℜ of groups if every finite subgroup of G is contained in a subgroup of G that is isomorphic to some group in ℜ. Previously [Kourovka Notebook, Quest. 14.101], the question was posed whether a periodic group saturated with finite simple groups of Lie type whose ranks are bounded in totality is itself a simple group of Lie type. A partial answer to this question is given for groups of Lie type of rank 1. We prove the following: Let a periodic group G be saturated with finite simple groups of Lie type of rank 1. Then G is isomorphic to a simple group of Lie type of rank 1 over a suitable locally finite field.
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9480-y
      Issue No: Vol. 57, No. 1 (2018)
       
  • Sessions of the Seminar “Algebra i Logika”
    • Pages: 87 - 87
      PubDate: 2018-03-01
      DOI: 10.1007/s10469-018-9481-x
      Issue No: Vol. 57, No. 1 (2018)
       
  • Locally Finite Suzuki–Higman 2-Groups
    • Authors: N. M. Suchkov
      Abstract: We prove the following theorem. Let U be a locally finite Suzuki–Higman 2-group with respect to an automorphism group H. Then U and H are representable as the respective unions of ascending chains of finite subgroups U1 < U2 < . . . < U n < . . . and H1 < H2 < . . . < H n < . . ., in which case every subgroup U n is a Suzuki 2-group with respect to H n .
      PubDate: 2018-02-26
      DOI: 10.1007/s10469-018-9470-0
       
  • Sessions of the Seminar “Algebra i Logika”
    • PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9473-x
       
  • Polygons with a ( P, 1)-Stable Theory
    • Authors: D. O. Ptakhov
      Abstract: Polygons with a (P, 1)-stable theory are considered. A criterion of being (P, 1)-stable for a polygon is established. As a consequence of the main criterion we prove that a polygon SS, where S is a group, is (P, 1)-stable if and only if S is a finite group. It is shown that the class of all polygons with monoid S is (P, 1)-stable only if S is a one-element monoid. (P, 1)-stability criteria are presented for polygons over right and left zero monoids.
      PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9469-6
       
  • Pronormality of Hall Subgroups in Their Normal Closure
    • Authors: E. P. Vdovin; M. N. Nesterov; D. O. Revin
      Abstract: It is known that for any set π of prime numbers, the following assertions are equivalent: (1) in any finite group, π-Hall subgroups are conjugate; (2) in any finite group, π-Hall subgroups are pronormal. It is proved that (1) and (2) are equivalent also to the following: (3) in any finite group, π-Hall subgroups are pronormal in their normal closure. Previously [10, Quest. 18.32], the question was posed whether it is true that in a finite group, π-Hall subgroups are always pronormal in their normal closure. Recently, M. N. Nesterov [7] proved that assertion (3) and assertions (1) and (2) are equivalent for any finite set π. The fact that there exist examples of finite sets π and finite groups G such that G contains more than one conjugacy class of π-Hall subgroups gives a negative answer to the question mentioned. Our main result shows that the requirement of finiteness for π is unessential for (1), (2), and (3) to be equivalent.
      PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9467-8
       
  • Nonpresentability of Some Structures of Analysis in Hereditarily Finite
           Superstructures
    • Authors: A. S. Morozov
      Abstract: It is proved that any countable consistent theory with infinite models has a Σ-presentable model of cardinality 2ω over ℍ𝔽(ℝ). It is shown that some structures studied in analysis (in particular, a semigroup of continuous functions, certain structures of nonstandard analysis, and infinite-dimensional separable Hilbert spaces) have no simple Σ-presentations in hereditarily finite superstructures over existentially Steinitz structures. The results are proved by a unified method on the basis of a new general sufficient condition.
      PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9468-7
       
  • Automorphism Group of a Distance-Regular Graph with Intersection Array {35
           , 32 , 1; 1 , 4 , 35}
    • Authors: V. V. Bitkina; A. A. Makhnev
      Abstract: Let Γ be a distance regular graph with intersection array {35, 32, 1; 1, 4, 35} and let G = Aut(Γ) act transitively on the set of vertices of the graph Γ. It is shown that G is a {2, 3}-group.
      PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9466-9
       
  • Structures Computable in Polynomial Time. II
    • Authors: P. E. Alaev
      Abstract: We consider a new approach to investigating categoricity of structures computable in polynomial time. The approach is based on studying polynomially computable stable relations. It is shown that this categoricity is equivalent to the usual computable categoricity for computable Boolean algebras with computable set of atoms, and for computable linear orderings with computable set of adjacent pairs. Examples are constructed which show that this does not always hold. We establish a connection between dimensions based on computable and polynomially computable stable relations.
      PubDate: 2018-02-24
      DOI: 10.1007/s10469-018-9465-x
       
  • The Number of Sylow Subgroups in Special Linear Groups of Degree 2
    • Authors: Zh. Wu; W. Guo; E. P. Vdovin
      PubDate: 2018-02-23
      DOI: 10.1007/s10469-018-9471-z
       
  • Orders of Elements of Finite Almost Simple Groups
    • Authors: M. A. Grechkoseeva
      PubDate: 2018-02-23
      DOI: 10.1007/s10469-018-9472-y
       
  • Strong Decidability and Strong Recognizability
    • Authors: L. L. Maksimova; V. F. Yun
      Pages: 370 - 385
      Abstract: Extensions of Johansson’s minimal logic J are considered. It is proved that families of negative and nontrivial logics and a series of other families are strongly decidable over J. This means that, given any finite list Rul of axiom schemes and rules of inference, we can effectively verify whether the logic with axioms and schemes, J + Rul, belongs to a given family. Strong recognizability over J is proved for known logics Neg, Gl, and KC as well as for logics LC and NC and all their extensions.
      PubDate: 2017-11-01
      DOI: 10.1007/s10469-017-9459-0
      Issue No: Vol. 56, No. 5 (2017)
       
  • Hyperidentities of Quasilinear Clones Containing Creative Functions
    • Authors: I. A. Mal’tsev
      Pages: 386 - 394
      Abstract: We consider the possibility for separating by hyperidentities clones of quasilinear functions defined on the set {0, 1, 2} with values in the set {0, 1}. It is proved that every creative clone of this kind can be separated by a hyperidentity from any noncreative clone comparable with it.
      PubDate: 2017-11-01
      DOI: 10.1007/s10469-017-9460-7
      Issue No: Vol. 56, No. 5 (2017)
       
  • A Computable Structure with Nonstandard Computability
    • Authors: R. R. Avdeev; V. G. Puzarenko
      Pages: 425 - 426
      PubDate: 2017-11-01
      DOI: 10.1007/s10469-017-9463-4
      Issue No: Vol. 56, No. 5 (2017)
       
 
 
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: 54.81.76.247
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-