for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2417 journals)
    - CHEMICAL ENGINEERING (207 journals)
    - CIVIL ENGINEERING (202 journals)
    - ELECTRICAL ENGINEERING (111 journals)
    - ENGINEERING (1267 journals)
    - ENGINEERING MECHANICS AND MATERIALS (400 journals)
    - HYDRAULIC ENGINEERING (56 journals)
    - INDUSTRIAL ENGINEERING (76 journals)
    - MECHANICAL ENGINEERING (98 journals)

ENGINEERING (1267 journals)                  1 2 3 4 5 6 7 | Last

Showing 1 - 200 of 1205 Journals sorted alphabetically
3 Biotech     Open Access   (Followers: 8)
3D Research     Hybrid Journal   (Followers: 21)
AAPG Bulletin     Hybrid Journal   (Followers: 8)
AASRI Procedia     Open Access   (Followers: 14)
Abstract and Applied Analysis     Open Access   (Followers: 3)
Aceh International Journal of Science and Technology     Open Access   (Followers: 2)
ACS Nano     Full-text available via subscription   (Followers: 274)
Acta Geotechnica     Hybrid Journal   (Followers: 7)
Acta Metallurgica Sinica (English Letters)     Hybrid Journal   (Followers: 7)
Acta Polytechnica : Journal of Advanced Engineering     Open Access   (Followers: 3)
Acta Scientiarum. Technology     Open Access   (Followers: 3)
Acta Universitatis Cibiniensis. Technical Series     Open Access  
Active and Passive Electronic Components     Open Access   (Followers: 7)
Adaptive Behavior     Hybrid Journal   (Followers: 11)
Adıyaman Üniversitesi Mühendislik Bilimleri Dergisi     Open Access  
Adsorption     Hybrid Journal   (Followers: 4)
Advanced Engineering Forum     Full-text available via subscription   (Followers: 7)
Advanced Journal of Graduate Research     Open Access  
Advanced Science     Open Access   (Followers: 5)
Advanced Science Focus     Free   (Followers: 5)
Advanced Science Letters     Full-text available via subscription   (Followers: 10)
Advanced Science, Engineering and Medicine     Partially Free   (Followers: 7)
Advanced Synthesis & Catalysis     Hybrid Journal   (Followers: 18)
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 Engineering Software     Hybrid Journal   (Followers: 27)
Advances in Fuel Cells     Full-text available via subscription   (Followers: 17)
Advances in Fuzzy Systems     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 13)
Advances in Heat Transfer     Full-text available via subscription   (Followers: 21)
Advances in Human Factors/Ergonomics     Full-text available via subscription   (Followers: 22)
Advances in Magnetic and Optical Resonance     Full-text available via subscription   (Followers: 9)
Advances in Natural Sciences: Nanoscience and Nanotechnology     Open Access   (Followers: 29)
Advances in Operations Research     Open Access   (Followers: 12)
Advances in OptoElectronics     Open Access   (Followers: 6)
Advances in Physics Theories and Applications     Open Access   (Followers: 13)
Advances in Polymer Science     Hybrid Journal   (Followers: 43)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Remote Sensing     Open Access   (Followers: 44)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Aerobiologia     Hybrid Journal   (Followers: 3)
African Journal of Science, Technology, Innovation and Development     Hybrid Journal   (Followers: 6)
AIChE Journal     Hybrid Journal   (Followers: 35)
Ain Shams Engineering Journal     Open Access   (Followers: 5)
Akademik Platform Mühendislik ve Fen Bilimleri Dergisi     Open Access   (Followers: 1)
Alexandria Engineering Journal     Open Access   (Followers: 1)
AMB Express     Open Access   (Followers: 1)
American Journal of Applied Sciences     Open Access   (Followers: 26)
American Journal of Engineering and Applied Sciences     Open Access   (Followers: 10)
American Journal of Engineering Education     Open Access   (Followers: 9)
American Journal of Environmental Engineering     Open Access   (Followers: 16)
American Journal of Industrial and Business Management     Open Access   (Followers: 24)
Analele Universitatii Ovidius Constanta - Seria Chimie     Open Access  
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Pure and Applied Logic     Open Access   (Followers: 2)
Annals of Regional Science     Hybrid Journal   (Followers: 7)
Annals of Science     Hybrid Journal   (Followers: 7)
Antarctic Science     Hybrid Journal   (Followers: 1)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2)
Applicable Analysis: An International Journal     Hybrid Journal   (Followers: 1)
Applied Catalysis A: General     Hybrid Journal   (Followers: 6)
Applied Catalysis B: Environmental     Hybrid Journal   (Followers: 18)
Applied Clay Science     Hybrid Journal   (Followers: 6)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 11)
Applied Magnetic Resonance     Hybrid Journal   (Followers: 4)
Applied Nanoscience     Open Access   (Followers: 8)
Applied Network Science     Open Access   (Followers: 3)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Physics Research     Open Access   (Followers: 5)
Applied Sciences     Open Access   (Followers: 3)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 4)
Arabian Journal for Science and Engineering     Hybrid Journal   (Followers: 5)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5)
Archives of Foundry Engineering     Open Access  
Archives of Thermodynamics     Open Access   (Followers: 8)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
ASEE Prism     Full-text available via subscription   (Followers: 3)
Asia-Pacific Journal of Science and Technology     Open Access  
Asian Engineering Review     Open Access  
Asian Journal of Applied Science and Engineering     Open Access   (Followers: 1)
Asian Journal of Applied Sciences     Open Access   (Followers: 2)
Asian Journal of Biotechnology     Open Access   (Followers: 8)
Asian Journal of Control     Hybrid Journal  
Asian Journal of Current Engineering & Maths     Open Access  
Asian Journal of Technology Innovation     Hybrid Journal   (Followers: 8)
Assembly Automation     Hybrid Journal   (Followers: 2)
at - Automatisierungstechnik     Hybrid Journal   (Followers: 1)
ATZagenda     Hybrid Journal  
ATZextra worldwide     Hybrid Journal  
Australasian Physical & Engineering Sciences in Medicine     Hybrid Journal   (Followers: 1)
Australian Journal of Multi-Disciplinary Engineering     Full-text available via subscription   (Followers: 2)
Autonomous Mental Development, IEEE Transactions on     Hybrid Journal   (Followers: 9)
Avances en Ciencias e Ingeniería     Open Access  
Balkan Region Conference on Engineering and Business Education     Open Access   (Followers: 1)
Bangladesh Journal of Scientific and Industrial Research     Open Access  
Basin Research     Hybrid Journal   (Followers: 5)
Batteries     Open Access   (Followers: 6)
Bautechnik     Hybrid Journal   (Followers: 1)
Bell Labs Technical Journal     Hybrid Journal   (Followers: 28)
Beni-Suef University Journal of Basic and Applied Sciences     Open Access   (Followers: 4)
BER : Manufacturing Survey : Full Survey     Full-text available via subscription   (Followers: 1)
BER : Motor Trade Survey     Full-text available via subscription  
BER : Retail Sector Survey     Full-text available via subscription   (Followers: 1)
BER : Retail Survey : Full Survey     Full-text available via subscription   (Followers: 1)
BER : Survey of Business Conditions in Manufacturing : An Executive Summary     Full-text available via subscription   (Followers: 3)
BER : Survey of Business Conditions in Retail : An Executive Summary     Full-text available via subscription   (Followers: 3)
Beyond : Undergraduate Research Journal     Open Access  
Bhakti Persada : Jurnal Aplikasi IPTEKS     Open Access  
Bharatiya Vaigyanik evam Audyogik Anusandhan Patrika (BVAAP)     Open Access   (Followers: 1)
Bilge International Journal of Science and Technology Research     Open Access  
Biofuels Engineering     Open Access   (Followers: 1)
Biointerphases     Open Access   (Followers: 1)
Biomaterials Science     Full-text available via subscription   (Followers: 11)
Biomedical Engineering     Hybrid Journal   (Followers: 15)
Biomedical Engineering and Computational Biology     Open Access   (Followers: 13)
Biomedical Engineering Letters     Hybrid Journal   (Followers: 5)
Biomedical Engineering, IEEE Reviews in     Full-text available via subscription   (Followers: 21)
Biomedical Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 37)
Biomedical Engineering: Applications, Basis and Communications     Hybrid Journal   (Followers: 5)
Biomedical Microdevices     Hybrid Journal   (Followers: 8)
Biomedical Science and Engineering     Open Access   (Followers: 4)
Biomedizinische Technik - Biomedical Engineering     Hybrid Journal   (Followers: 1)
Biomicrofluidics     Open Access   (Followers: 4)
BioNanoMaterials     Hybrid Journal   (Followers: 2)
Biotechnology Progress     Hybrid Journal   (Followers: 40)
Bitlis Eren University Journal of Science and Technology     Open Access  
Boletin Cientifico Tecnico INIMET     Open Access  
Botswana Journal of Technology     Full-text available via subscription   (Followers: 1)
Boundary Value Problems     Open Access   (Followers: 1)
Brazilian Journal of Science and Technology     Open Access   (Followers: 2)
Broadcasting, IEEE Transactions on     Hybrid Journal   (Followers: 12)
Bulletin of Canadian Petroleum Geology     Full-text available via subscription   (Followers: 13)
Bulletin of Engineering Geology and the Environment     Hybrid Journal   (Followers: 14)
Bulletin of the Crimean Astrophysical Observatory     Hybrid Journal  
Cahiers, Droit, Sciences et Technologies     Open Access  
Calphad     Hybrid Journal   (Followers: 2)
Canadian Geotechnical Journal     Hybrid Journal   (Followers: 31)
Canadian Journal of Remote Sensing     Full-text available via subscription   (Followers: 42)
Case Studies in Engineering Failure Analysis     Open Access   (Followers: 6)
Case Studies in Thermal Engineering     Open Access   (Followers: 5)
Catalysis Communications     Hybrid Journal   (Followers: 6)
Catalysis Letters     Hybrid Journal   (Followers: 2)
Catalysis Reviews: Science and Engineering     Hybrid Journal   (Followers: 7)
Catalysis Science and Technology     Free   (Followers: 8)
Catalysis Surveys from Asia     Hybrid Journal   (Followers: 3)
Catalysis Today     Hybrid Journal   (Followers: 7)
CEAS Space Journal     Hybrid Journal   (Followers: 2)
Cellular and Molecular Neurobiology     Hybrid Journal   (Followers: 3)
Central European Journal of Engineering     Hybrid Journal  
Chaos : An Interdisciplinary Journal of Nonlinear Science     Hybrid Journal   (Followers: 2)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
Chinese Journal of Engineering     Open Access   (Followers: 2)
Chinese Science Bulletin     Open Access   (Followers: 1)
Ciencia e Ingenieria Neogranadina     Open Access  
Ciencia en su PC     Open Access   (Followers: 1)
Ciencias Holguin     Open Access   (Followers: 3)
CienciaUAT     Open Access   (Followers: 1)
Cientifica     Open Access  
CIRP Annals - Manufacturing Technology     Full-text available via subscription   (Followers: 11)
CIRP Journal of Manufacturing Science and Technology     Full-text available via subscription   (Followers: 13)
City, Culture and Society     Hybrid Journal   (Followers: 21)
Clay Minerals     Full-text available via subscription   (Followers: 10)
Clean Air Journal     Full-text available via subscription   (Followers: 1)
Clinical Science     Full-text available via subscription   (Followers: 9)
Coal Science and Technology     Full-text available via subscription   (Followers: 3)
Coastal Engineering     Hybrid Journal   (Followers: 11)
Coastal Engineering Journal     Hybrid Journal   (Followers: 6)
Coatings     Open Access   (Followers: 4)
Cogent Engineering     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
Color Research & Application     Hybrid Journal   (Followers: 2)
COMBINATORICA     Hybrid Journal  
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Combustion, Explosion, and Shock Waves     Hybrid Journal   (Followers: 14)
Communications Engineer     Hybrid Journal   (Followers: 1)
Communications in Numerical Methods in Engineering     Hybrid Journal   (Followers: 2)
Components, Packaging and Manufacturing Technology, IEEE Transactions on     Hybrid Journal   (Followers: 28)
Composite Interfaces     Hybrid Journal   (Followers: 7)
Composite Structures     Hybrid Journal   (Followers: 277)
Composites Part A : Applied Science and Manufacturing     Hybrid Journal   (Followers: 211)
Composites Part B : Engineering     Hybrid Journal   (Followers: 248)
Composites Science and Technology     Hybrid Journal   (Followers: 195)
Comptes Rendus Mécanique     Full-text available via subscription   (Followers: 2)
Computation     Open Access   (Followers: 1)
Computational Geosciences     Hybrid Journal   (Followers: 16)
Computational Optimization and Applications     Hybrid Journal   (Followers: 7)
Computational Science and Discovery     Full-text available via subscription   (Followers: 2)
Computer Applications in Engineering Education     Hybrid Journal   (Followers: 8)
Computer Science and Engineering     Open Access   (Followers: 19)
Computers & Geosciences     Hybrid Journal   (Followers: 31)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 8)
Computers and Electronics in Agriculture     Hybrid Journal   (Followers: 5)
Computers and Geotechnics     Hybrid Journal   (Followers: 11)
Computing and Visualization in Science     Hybrid Journal   (Followers: 7)
Computing in Science & Engineering     Full-text available via subscription   (Followers: 33)
Conciencia Tecnologica     Open Access  
Concurrent Engineering     Hybrid Journal   (Followers: 3)
Continuum Mechanics and Thermodynamics     Hybrid Journal   (Followers: 8)

        1 2 3 4 5 6 7 | 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.198.158.24
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-