for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> MATHEMATICS (Total: 966 journals)
    - APPLIED MATHEMATICS (82 journals)
    - GEOMETRY AND TOPOLOGY (20 journals)
    - MATHEMATICS (711 journals)
    - MATHEMATICS (GENERAL) (43 journals)
    - NUMERICAL ANALYSIS (22 journals)
    - PROBABILITIES AND MATH STATISTICS (88 journals)

MATHEMATICS (711 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     Full-text available via subscription   (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: 5)
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: 11)
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: 4)
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
Annals of Pure and Applied Logic
Journal Prestige (SJR): 1.38
Citation Impact (citeScore): 1
Number of Followers: 2  

  This is an Open Access Journal Open Access journal
ISSN (Print) 0168-0072
Published by Elsevier Homepage  [3163 journals]
  • Henselianity in the language of rings

    • Authors: Sylvy Anscombe; Franziska Jahnke
      Pages: 872 - 895
      Abstract: Publication date: September 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 9
      Author(s): Sylvy Anscombe, Franziska Jahnke
      We consider four properties of a field K related to the existence of (definable) henselian valuations on K and on elementarily equivalent fields and study the implications between them. Surprisingly, the full pictures look very different in equicharacteristic and mixed characteristic.

      PubDate: 2018-06-06T14:54:30Z
      DOI: 10.1016/j.apal.2018.04.008
       
  • Generic expansion and Skolemization in NSOP1 theories

    • Authors: Alex Kruckman; Nicholas Ramsey
      Pages: 755 - 774
      Abstract: Publication date: August 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 8
      Author(s): Alex Kruckman, Nicholas Ramsey
      We study expansions of NSOP 1 theories that preserve NSOP 1 . We prove that if T is a model complete NSOP 1 theory eliminating the quantifier ∃ ∞ , then the generic expansion of T by arbitrary constant, function, and relation symbols is still NSOP 1 . We give a detailed analysis of the special case of the theory of the generic L-structure, the model companion of the empty theory in an arbitrary language L. Under the same hypotheses, we show that T may be generically expanded to an NSOP 1 theory with built-in Skolem functions. In order to obtain these results, we establish strengthenings of several properties of Kim-independence in NSOP 1 theories, adding instances of algebraic independence to their conclusions.

      PubDate: 2018-05-31T14:19:33Z
      DOI: 10.1016/j.apal.2018.04.003
       
  • On the class of flat stable theories

    • Authors: Daniel Palacín; Saharon Shelah
      Pages: 835 - 849
      Abstract: Publication date: August 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 8
      Author(s): Daniel Palacín, Saharon Shelah
      A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients.

      PubDate: 2018-05-31T14:19:33Z
      DOI: 10.1016/j.apal.2018.04.005
       
  • The Kierstead's Conjecture and limitwise monotonic functions

    • Authors: Guohua Wu; Maxim Zubkov
      Pages: 467 - 486
      Abstract: Publication date: June 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 6
      Author(s): Guohua Wu, Maxim Zubkov
      In this paper, we prove Kierstead's conjecture for linear orders whose order types are ∑ q ∈ Q F ( q ) , where F is an extended 0′-limitwise monotonic function, i.e. F can take value ζ. Linear orders in our consideration can have finite and infinite blocks simultaneously, and in this sense our result subsumes a recent result of C. Harris, K. Lee and S.B. Cooper, where only those linear orders with finite blocks are considered. Our result also covers one case of R. Downey and M. Moses' work, i.e. ζ ⋅ η . It covers some instances not being considered in both previous works mentioned above, such as m ⋅ η + ζ ⋅ η + n ⋅ η , for example, where m , n > 0 .

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.01.003
       
  • Fixed points of self-embeddings of models of arithmetic

    • Authors: Saeideh Bahrami; Ali Enayat
      Pages: 487 - 513
      Abstract: Publication date: June 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 6
      Author(s): Saeideh Bahrami, Ali Enayat
      We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. Our principal results are Theorems A, B, and C below. In what follows M is a countable nonstandard model of the fragment I Σ 1 of PA (Peano Arithmetic); N is the initial segment of M consisting of standard numbers of M ; I fix ( j ) is the longest initial segment of fixed points of j; Fix ( j ) is the fixed point set of j; K 1 ( M ) consists of Σ 1 -definable elements of M ; and a self-embedding j of M is said to be a proper initial self-embedding if j ( M ) is a proper initial segment of M . Theorem A The following are equivalent for a proper initial segment I of M : (1) I = I fix ( j ) for some self-embedding j of M . (2) I is closed under exponentiation. (3) I = I fix ( j ) for some proper initial self-embedding j of M . Theorem B The following are equivalent for a proper initial segment I of M : (1) I = Fix ( j ) for some self-embedding j of M . (2) I is a strong cut of M and I ≺ Σ 1 M . (3) I = Fix ( j ) for some proper initial self-embedding j of M . Theorem C
      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.01.004
       
  • Elementary equivalence of rings with finitely generated additive groups

    • Authors: Alexei G. Myasnikov; Francis Oger; Mahmood Sohrabi
      Pages: 514 - 522
      Abstract: Publication date: June 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 6
      Author(s): Alexei G. Myasnikov, Francis Oger, Mahmood Sohrabi
      We give algebraic characterizations of elementary equivalence between rings with finitely generated additive groups. They are similar to those previously obtained for finitely generated nilpotent groups. Here, the rings are not supposed associative, commutative or unitary.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.01.005
       
  • What does a group algebra of a free group “know” about the
           group'

    • Authors: Olga Kharlampovich; Alexei Myasnikov
      Pages: 523 - 547
      Abstract: Publication date: June 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 6
      Author(s): Olga Kharlampovich, Alexei Myasnikov
      We describe solutions to the problem of elementary classification in the class of group algebras of free groups. We will show that unlike free groups, two group algebras of free groups over infinite fields are elementarily equivalent if and only if the groups are isomorphic and the fields are equivalent in the weak second order logic. We will show that the set of all free bases of a free group F is 0-definable in the group algebra K ( F ) when K is an infinite field, the set of geodesics is definable, and many geometric properties of F are definable in K ( F ) . Therefore K ( F ) “knows” some very important information about F. We will show that similar results hold for group algebras of limit groups.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.02.003
       
  • The tree property at the double successor of a singular cardinal with a
           larger gap

    • Authors: Sy-David Friedman; Radek Honzik; Šárka Stejskalová
      Pages: 548 - 564
      Abstract: Publication date: June 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 6
      Author(s): Sy-David Friedman, Radek Honzik, Šárka Stejskalová
      Starting from a Laver-indestructible supercompact κ and a weakly compact λ above κ, we show there is a forcing extension where κ is a strong limit singular cardinal with cofinality ω, 2 κ = κ + 3 = λ + , and the tree property holds at κ + + = λ . Next we generalize this result to an arbitrary cardinal μ such that κ < cf ( μ ) and λ + ≤ μ . This result provides more information about possible relationships between the tree property and the continuum function.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.02.002
       
  • Corrigendum to “Advice classes of parameterized tractability” [Ann.
           Pure Appl. Logic 84 (1) (1997) 119–138]

    • Authors: Liming Cai; Jainer Chen; Rod Downey; Mike Fellows
      Pages: 463 - 465
      Abstract: Publication date: May 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 5
      Author(s): Liming Cai, Jainer Chen, Rod Downey, Mike Fellows


      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.02.001
       
  • Topology and measure in logics for region-based theories of space

    • Authors: Tamar Lando
      Pages: 277 - 311
      Abstract: Publication date: Available online 3 January 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Tamar Lando
      Space, as we typically represent it in mathematics and physics, is composed of dimensionless, indivisible points. On an alternative, region-based approach to space, extended regions together with the relations of ‘parthood’ and ‘contact’ are taken as primitive; points are represented as mathematical abstractions from regions. Region-based theories of space have been traditionally modeled in regular closed (or regular open) algebras, in work that goes back to [5] and [20]. More recently, formal logics for region-based theories of space were developed in, e.g., [3] and [18]. It was shown that these logics have both a nice topological and relational semantics, and that the minimal logic for contact algebras, L m i n c o n t (defined below), is complete for both. The present paper explores the question of completeness of L m i n c o n t and its extensions for individual topological spaces of interest: the real line, Cantor space, the rationals, and the infinite binary tree. A second aim is to study a different, algebraic model of logics for region-based theories of space, based on the Lebesgue measure algebra (or algebra of Borel subsets of the real line modulo sets of Lebesgue measure zero). As a model for point-free space, the algebra was first discussed in [2]. The main results of the paper are that L m i n c o n t is weakly complete for any zero-dimensional, dense-in-itself metric space (including, e.g., Cantor space and the rationals); the extension L m i n c o n t + ( C o n ) is weakly complete for the real line and the Lebesgue measure contact algebra. We also prove that the logic L m i n c o n t + ( U n i v ) is weakly complete for the infinite binary tree.

      PubDate: 2018-01-10T11:03:22Z
      DOI: 10.1016/j.apal.2017.12.002
       
  • A representation theorem for measurable relation algebras

    • Abstract: Publication date: Available online 19 June 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Steven Givant, Hajnal Andréka
      A relation algebra is called measurable when its identity is the sum of measurable atoms, where an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have rather strong structural properties: they are constructed from systems of groups, coordinated systems of isomorphisms between quotients of the groups, and systems of cosets that are used to “shift” the operation of relative multiplication. An atomic and complete measurable relation algebra is completely representable if and only if there is a stronger coordination between these isomorphisms induced by a scaffold (the shifting cosets are not needed in this case). We also prove that a measurable relation algebra in which the associated groups are all finite is atomic.

      PubDate: 2018-06-21T17:13:09Z
       
  • Axiomatizations of team logics

    • Authors: Martin
      Abstract: Publication date: September 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 9
      Author(s): Martin Lück
      In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(∼) of Väänänen's first-order team logic TL, for propositional team logic PTL, quantified propositional team logic QPTL, modal team logic MTL, and for the corresponding logics of dependence, independence, inclusion and exclusion. As a crucial step in the completeness proof, we show that the above logics admit, in a particular sense, a semantics-preserving elimination of modalities and quantifiers from formulas.

      PubDate: 2018-06-06T14:54:30Z
       
  • New-from-old full dualities via axiomatisation

    • Authors: Brian Davey; Jane Pitkethly Ross Willard
      Abstract: Publication date: July 2018
      Source:Annals of Pure and Applied Logic, Volume 169, Issue 7
      Author(s): Brian A. Davey, Jane G. Pitkethly, Ross Willard
      We study different full dualities based on the same finite algebra. Our main theorem gives conditions on two different alter egos of a finite algebra under which, if one yields a full duality, then the other does too. We use this theorem to obtain a better understanding of several important examples from the theory of natural dualities. We also clarify what it means for two full dualities based on the same finite algebra to be different. Throughout the paper, a fundamental role is played by the universal Horn theory of the dual categories.

      PubDate: 2018-05-31T14:19:33Z
       
  • On constructivity and the Rosser property: a closer look at some
           Gödelean proofs

    • Authors: Saeed Salehi; Payam Seraji
      Abstract: Publication date: Available online 29 May 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Saeed Salehi, Payam Seraji
      The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel's own proof for his incompleteness theorem does not have the Rosser property, and we show that neither do Kleene's or Boolos' proofs. However, we show that a variant of Chaitin's proof can have the Rosser property. The proofs of Gödel, Rosser and Kleene are constructive in the sense that they explicitly construct, by algorithmic ways, the independent sentence(s) from the theory. We show that the proofs of Chaitin and Boolos are not constructive, and they prove only the mere existence of the independent sentences.

      PubDate: 2018-05-31T14:19:33Z
      DOI: 10.1016/j.apal.2018.04.009
       
  • Club isomorphisms on higher Aronszajn trees

    • Authors: John Krueger
      Abstract: Publication date: Available online 29 May 2018
      Source:Annals of Pure and Applied Logic
      Author(s): John Krueger
      We prove the consistency, assuming an ineffable cardinal, of the statement that CH holds and any two normal countably closed ω 2 -Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah [1] that any two normal ω 1 -Aronszajn trees are club isomorphic, which follows from PFA. The statement that any two normal countably closed ω 2 -Aronszajn trees are club isomorphic implies that there are no ω 2 -Suslin trees, so our proof also expands on the method of Laver-Shelah [5] for obtaining the ω 2 -Suslin hypothesis.

      PubDate: 2018-05-31T14:19:33Z
       
  • Logic for abstract hoop twist-structures

    • Authors: Shokoofeh Ghorbani
      Abstract: Publication date: Available online 16 May 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Shokoofeh Ghorbani
      In this paper, we introduce and study a logic that corresponds to abstract hoop twist-structures and present some results on this logic. We prove the local deductive theorem for this logic and show that this logic is algebraizable with respect to the quasi-variety of abstract hoop twist-structures.

      PubDate: 2018-05-28T14:02:13Z
      DOI: 10.1016/j.apal.2018.05.002
       
  • First order theory of cyclically ordered groups

    • Authors: M. Giraudet; G. Leloup; F. Lucas
      Abstract: Publication date: Available online 26 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): M. Giraudet, G. Leloup, F. Lucas
      By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group H a pair ( G , z ) where G is a totally ordered group and z is an element in the center of G, generating a cofinal subgroup 〈 z 〉 of G, and such that the cyclically ordered quotient group G / 〈 z 〉 is isomorphic to H. We first establish that, in this correspondence, the first-order theory of the cyclically ordered group H is uniquely determined by the first-order theory of the pair ( G , z ) . Then we prove that the class of cyclically orderable groups is an elementary class and give an axiom system for it. Finally we show that, in contrast to the fact that all theories of totally ordered Abelian groups have the same universal part, there are uncountably many universal theories of Abelian cyclically ordered groups.

      PubDate: 2018-05-28T14:02:13Z
      DOI: 10.1016/j.apal.2018.04.007
       
  • Definable E0 classes at arbitrary projective levels

    • Authors: Vladimir Kanovei; Vassily Lyubetsky
      Abstract: Publication date: Available online 24 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Vladimir Kanovei, Vassily Lyubetsky
      Using a modification of the invariant Jensen forcing of [11], we define a model of ZFC, in which, for a given n ≥ 3 , there exists a lightface Π n 1 -set of reals, which is a E 0 -equivalence class, hence a countable set, and which does not contain any OD element, while every non-empty countable Σ n 1 -set of reals is constructible, hence contains only OD reals.

      PubDate: 2018-05-28T14:02:13Z
      DOI: 10.1016/j.apal.2018.04.006
       
  • Splitting into degrees with low computational strength

    • Authors: Rod Downey; Keng Meng Ng
      Abstract: Publication date: Available online 17 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Rod Downey, Keng Meng Ng
      We investigate the extent to which a c.e. degree can be split into two smaller c.e. degrees which are computationally weak. In contrast to a result of Bickford and Mills that 0 ′ can be split into two superlow c.e. degrees, we construct a SJT-hard c.e. degree which is not the join of two superlow c.e. degrees. We also prove that every high c.e. degree is the join of two array computable c.e. degrees, and that not every high2 c.e. degree can be split in this way. Finally we extend a result of Downey, Jockusch and Stob by showing that no totally ω-c.a. wtt-degree can be cupped to the complete wtt-degree.

      PubDate: 2018-05-28T14:02:13Z
      DOI: 10.1016/j.apal.2018.04.004
       
  • Characterizations of pretameness and the Ord-cc

    • Authors: Peter Holy; Regula Krapf; Philipp Schlicht
      Abstract: Publication date: Available online 10 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Peter Holy, Regula Krapf, Philipp Schlicht
      It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of ZF − , that is ZF without the power set axiom, or equivalently, by the preservation of the axiom scheme of replacement, for class forcing over models of ZF . We show that pretameness in fact has various other characterizations, for instance in terms of the forcing theorem, the preservation of the axiom scheme of separation, the forcing equivalence of partial orders and their dense suborders, and the existence of nice names for sets of ordinals. These results show that pretameness is a strong dividing line between well and badly behaved notions of class forcing, and that it is exactly the right notion to consider in applications of class forcing. Furthermore, for most properties under consideration, we also present a corresponding characterization of the Ord-chain condition.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.04.002
       
  • Modularity results for interpolation, amalgamation and superamalgamation

    • Authors: Silvio Ghilardi; Alessandro Gianola
      Abstract: Publication date: Available online 4 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Silvio Ghilardi, Alessandro Gianola
      Wolter in [38] proved that the Craig interpolation property transfers to fusion of normal modal logics. It is well-known [21] that for such logics Craig interpolation corresponds to an algebraic property called superamalgamability. In this paper, we develop model-theoretic techniques at the level of first-order theories in order to obtain general combination results transferring quantifier-free interpolation to unions of theories over non-disjoint signatures. Such results, once applied to equational theories sharing a common Boolean reduct, can be used to prove that superamalgamability is modular also in the non-normal case. We also state that, in this non-normal context, superamalgamability corresponds to a strong form of interpolation that we call “comprehensive interpolation property” (which consequently transfers to fusions).

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.04.001
       
  • Abstract elementary classes stable in ℵ0

    • Authors: Saharon Shelah; Sebastien Vasey
      Abstract: Publication date: Available online 2 April 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Saharon Shelah, Sebastien Vasey
      We study abstract elementary classes (AECs) that, in ℵ 0 , have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such classes exhibit superstable-like behavior at ℵ 0 . More precisely, there is a superlimit model of cardinality ℵ 0 and the class generated by this superlimit has a type-full good ℵ 0 -frame (a local notion of nonforking independence) and a superlimit model of cardinality ℵ 1 . We also give a supersimplicity condition under which the locality hypothesis follows from the rest.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.02.004
       
  • Functoriality and uniformity in Hrushovski's groupoid-cover correspondence

    • Authors: Levon Haykazyan; Rahim Moosa
      Abstract: Publication date: Available online 30 March 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Levon Haykazyan, Rahim Moosa
      The correspondence between definable connected groupoids in a theory T and internal generalised imaginary sorts of T, established by Hrushovski in [“Groupoids, imaginaries and internal covers,” Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism. Secondly, the equivalence of categories is shown to vary uniformly in definable families, with respect to an appropriate relativisation of these categories. Some elaborations on Hrushovki's original constructions are also included.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.03.005
       
  • Elementary equivalences and accessible functors

    • Authors: Beke
      Abstract: Publication date: Available online 13 March 2018
      Source:Annals of Pure and Applied Logic
      Author(s): T. Beke, J. Rosický
      We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to L ∞ λ -equivalence and L ∞ λ -elementary embedding for categories of structures in a language of arity less than λ, and interacts well with functors and λ-directed colimits. We recover and extend results of Feferman and Eklof on “local functors” without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof.

      PubDate: 2018-04-15T07:23:22Z
       
  • A multiplication operation for the hierarchy of norms

    • Authors: Alexander C. Block; Benedikt Löwe
      Abstract: Publication date: Available online 13 March 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Alexander C. Block, Benedikt Löwe
      Assuming AD + DC , the hierarchy of norms is a wellordered structure of equivalence classes of ordinal-valued maps. We define operations on the hierarchy of norms, in particular an operation that dominates multiplication as an operation on the ranks of norms, and use these operations to establish a considerably improved lower bound for the length of the hierarchy of norms.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.03.003
       
  • From realizability to induction via dependent intersection

    • Authors: Aaron Stump
      Abstract: Publication date: Available online 13 March 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Aaron Stump
      In this paper, it is shown that induction is derivable in a type-assignment formulation of the second-order dependent type theory λ P 2 , extended with the implicit product type of Miquel, dependent intersection type of Kopylov, and a built-in equality type. The crucial idea is to use dependent intersections to internalize a result of Leivant's showing that Church-encoded data may be seen as realizing their own type correctness statements, under the Curry–Howard isomorphism.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.03.002
       
  • Ehrenfeucht–Fraïssé games on ordinals

    • Authors: F. Mwesigye; J.K. Truss
      Abstract: Publication date: Available online 9 March 2018
      Source:Annals of Pure and Applied Logic
      Author(s): F. Mwesigye, J.K. Truss
      Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht–Fraïssé game on A and B. Ordinals and m-coloured ordinals are studied up to n-equivalence for various values of m and n.

      PubDate: 2018-04-15T07:23:22Z
      DOI: 10.1016/j.apal.2018.03.001
       
  • Density of the cototal enumeration degrees

    • Authors: Joseph S. Miller; Mariya I. Soskova
      Abstract: Publication date: Available online 8 January 2018
      Source:Annals of Pure and Applied Logic
      Author(s): Joseph S. Miller, Mariya I. Soskova
      We prove that the cototal enumeration degrees are exactly the enumeration degrees of sets with good approximations, as introduced by Lachlan and Shore [17]. Good approximations have been used as a tool to prove density results in the enumerations degrees, and indeed, we prove that the cototal enumerations degrees are dense.

      PubDate: 2018-01-10T11:03:22Z
      DOI: 10.1016/j.apal.2018.01.001
       
  • Structure and enumeration theorems for hereditary properties in finite
           relational languages

    • Authors: Terry
      Abstract: Publication date: Available online 8 January 2018
      Source:Annals of Pure and Applied Logic
      Author(s): C. Terry
      Given a finite relational language L , a hereditary L -property is a class of finite L -structures which is closed under isomorphism and model theoretic substructure. This notion encompasses many objects of study in extremal combinatorics, including (but not limited to) hereditary properties of graphs, hypergraphs, and oriented graphs. In this paper, we generalize certain definitions, tools, and results form the study of hereditary properties in combinatorics to the setting of hereditary L -properties, where L is any finite relational language with maximum arity at least two. In particular, the goal of this paper is to generalize how extremal results and stability theorems can be combined with well-known techniques and tools to yield approximate enumeration and structure theorems. We accomplish this by generalizing the notions of extremal graphs, asymptotic density, and graph stability theorems using structures in an auxiliary language associated to a hereditary L -property. Given a hereditary L -property H , we prove an approximate asymptotic enumeration theorem for H in terms of its generalized asymptotic density. Further we prove an approximate structure theorem for H , under the assumption of that H has a stability theorem. The tools we use include a new application of the hypergraph containers theorem (Balogh-Morris-Samotij [14], Saxton-Thomason [38]) to the setting of L -structures, a general supersaturation theorem for hereditary L -properties (also new), and a general graph removal lemma for L -structures proved by Aroskar and Cummings in [5]. Similar results in the setting of multicolored graphs and hypergraphs were recently proved independently by Falgas-Ravry, O'Connel, Strömberg, and Uzzell [21].

      PubDate: 2018-01-10T11:03:22Z
       
 
 
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.158.30.219
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-