for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2272 journals)
    - CHEMICAL ENGINEERING (190 journals)
    - CIVIL ENGINEERING (183 journals)
    - ELECTRICAL ENGINEERING (102 journals)
    - ENGINEERING (1204 journals)
    - ENGINEERING MECHANICS AND MATERIALS (381 journals)
    - HYDRAULIC ENGINEERING (55 journals)
    - INDUSTRIAL ENGINEERING (68 journals)
    - MECHANICAL ENGINEERING (89 journals)

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

Showing 1 - 200 of 1205 Journals sorted alphabetically
3 Biotech     Open Access   (Followers: 7)
3D Research     Hybrid Journal   (Followers: 17)
AAPG Bulletin     Hybrid Journal   (Followers: 7)
AASRI Procedia     Open Access   (Followers: 15)
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: 246)
Acta Geotechnica     Hybrid Journal   (Followers: 7)
Acta Metallurgica Sinica (English Letters)     Hybrid Journal   (Followers: 5)
Acta Polytechnica : Journal of Advanced Engineering     Open Access   (Followers: 2)
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: 6)
Advanced Science     Open Access   (Followers: 5)
Advanced Science Focus     Free   (Followers: 3)
Advanced Science Letters     Full-text available via subscription   (Followers: 8)
Advanced Science, Engineering and Medicine     Partially Free   (Followers: 7)
Advanced Synthesis & Catalysis     Hybrid Journal   (Followers: 17)
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: 25)
Advances in Fuel Cells     Full-text available via subscription   (Followers: 16)
Advances in Fuzzy Systems     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 10)
Advances in Heat Transfer     Full-text available via subscription   (Followers: 22)
Advances in Human Factors/Ergonomics     Full-text available via subscription   (Followers: 26)
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: 11)
Advances in OptoElectronics     Open Access   (Followers: 5)
Advances in Physics Theories and Applications     Open Access   (Followers: 12)
Advances in Polymer Science     Hybrid Journal   (Followers: 41)
Advances in Porous Media     Full-text available via subscription   (Followers: 4)
Advances in Remote Sensing     Open Access   (Followers: 37)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Aerobiologia     Hybrid Journal   (Followers: 1)
African Journal of Science, Technology, Innovation and Development     Hybrid Journal   (Followers: 4)
AIChE Journal     Hybrid Journal   (Followers: 31)
Ain Shams Engineering Journal     Open Access   (Followers: 5)
Akademik Platform Mühendislik ve Fen Bilimleri Dergisi     Open Access  
Alexandria Engineering Journal     Open Access   (Followers: 1)
AMB Express     Open Access   (Followers: 1)
American Journal of Applied Sciences     Open Access   (Followers: 28)
American Journal of Engineering and Applied Sciences     Open Access   (Followers: 11)
American Journal of Engineering Education     Open Access   (Followers: 9)
American Journal of Environmental Engineering     Open Access   (Followers: 17)
American Journal of Industrial and Business Management     Open Access   (Followers: 23)
Analele Universitatii Ovidius Constanta - Seria Chimie     Open Access  
Annals of Combinatorics     Hybrid Journal   (Followers: 3)
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)
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: 16)
Applied Clay Science     Hybrid Journal   (Followers: 5)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 12)
Applied Magnetic Resonance     Hybrid Journal   (Followers: 4)
Applied Nanoscience     Open Access   (Followers: 8)
Applied Network Science     Open Access   (Followers: 1)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Physics Research     Open Access   (Followers: 3)
Applied Sciences     Open Access   (Followers: 2)
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: 4)
Archives of Foundry Engineering     Open Access  
Archives of Thermodynamics     Open Access   (Followers: 7)
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: 8)
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: 5)
Bautechnik     Hybrid Journal   (Followers: 1)
Bell Labs Technical Journal     Hybrid Journal   (Followers: 23)
Beni-Suef University Journal of Basic and Applied Sciences     Open Access   (Followers: 4)
BER : Manufacturing Survey : Full Survey     Full-text available via subscription   (Followers: 2)
BER : Motor Trade Survey     Full-text available via subscription   (Followers: 1)
BER : Retail Sector Survey     Full-text available via subscription   (Followers: 2)
BER : Retail Survey : Full Survey     Full-text available via subscription   (Followers: 2)
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)
Bharatiya Vaigyanik evam Audyogik Anusandhan Patrika (BVAAP)     Open Access   (Followers: 1)
Biofuels Engineering     Open Access  
Biointerphases     Open Access   (Followers: 1)
Biomaterials Science     Full-text available via subscription   (Followers: 10)
Biomedical Engineering     Hybrid Journal   (Followers: 16)
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: 17)
Biomedical Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 32)
Biomedical Engineering: Applications, Basis and Communications     Hybrid Journal   (Followers: 5)
Biomedical Microdevices     Hybrid Journal   (Followers: 9)
Biomedical Science and Engineering     Open Access   (Followers: 4)
Biomedizinische Technik - Biomedical Engineering     Hybrid Journal  
Biomicrofluidics     Open Access   (Followers: 4)
BioNanoMaterials     Hybrid Journal   (Followers: 2)
Biotechnology Progress     Hybrid Journal   (Followers: 39)
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: 10)
Bulletin of Canadian Petroleum Geology     Full-text available via subscription   (Followers: 14)
Bulletin of Engineering Geology and the Environment     Hybrid Journal   (Followers: 9)
Bulletin of the Crimean Astrophysical Observatory     Hybrid Journal  
Cahiers, Droit, Sciences et Technologies     Open Access  
Calphad     Hybrid Journal  
Canadian Geotechnical Journal     Hybrid Journal   (Followers: 22)
Canadian Journal of Remote Sensing     Full-text available via subscription   (Followers: 43)
Case Studies in Engineering Failure Analysis     Open Access   (Followers: 8)
Case Studies in Thermal Engineering     Open Access   (Followers: 4)
Catalysis Communications     Hybrid Journal   (Followers: 6)
Catalysis Letters     Hybrid Journal   (Followers: 2)
Catalysis Reviews: Science and Engineering     Hybrid Journal   (Followers: 8)
Catalysis Science and Technology     Free   (Followers: 7)
Catalysis Surveys from Asia     Hybrid Journal   (Followers: 3)
Catalysis Today     Hybrid Journal   (Followers: 8)
CEAS Space Journal     Hybrid Journal  
Cellular and Molecular Neurobiology     Hybrid Journal   (Followers: 3)
Central European Journal of Engineering     Hybrid Journal   (Followers: 1)
CFD Letters     Open Access   (Followers: 6)
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: 1)
CienciaUAT     Open Access  
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: 14)
City, Culture and Society     Hybrid Journal   (Followers: 22)
Clay Minerals     Full-text available via subscription   (Followers: 10)
Clean Air Journal     Full-text available via subscription   (Followers: 2)
Coal Science and Technology     Full-text available via subscription   (Followers: 3)
Coastal Engineering     Hybrid Journal   (Followers: 11)
Coastal Engineering Journal     Hybrid Journal   (Followers: 5)
Coatings     Open Access   (Followers: 4)
Cogent Engineering     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
Color Research & Application     Hybrid Journal   (Followers: 1)
COMBINATORICA     Hybrid Journal  
Combustion Theory and Modelling     Hybrid Journal   (Followers: 13)
Combustion, Explosion, and Shock Waves     Hybrid Journal   (Followers: 13)
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: 26)
Composite Interfaces     Hybrid Journal   (Followers: 6)
Composite Structures     Hybrid Journal   (Followers: 267)
Composites Part A : Applied Science and Manufacturing     Hybrid Journal   (Followers: 186)
Composites Part B : Engineering     Hybrid Journal   (Followers: 283)
Composites Science and Technology     Hybrid Journal   (Followers: 179)
Comptes Rendus Mécanique     Full-text available via subscription   (Followers: 2)
Computation     Open Access  
Computational Geosciences     Hybrid Journal   (Followers: 14)
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: 7)
Computer Science and Engineering     Open Access   (Followers: 17)
Computers & Geosciences     Hybrid Journal   (Followers: 28)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 5)
Computers and Electronics in Agriculture     Hybrid Journal   (Followers: 4)
Computers and Geotechnics     Hybrid Journal   (Followers: 10)
Computing and Visualization in Science     Hybrid Journal   (Followers: 5)
Computing in Science & Engineering     Full-text available via subscription   (Followers: 30)
Conciencia Tecnologica     Open Access  
Concurrent Engineering     Hybrid Journal   (Followers: 3)
Continuum Mechanics and Thermodynamics     Hybrid Journal   (Followers: 7)
Control and Dynamic Systems     Full-text available via subscription   (Followers: 9)
Control Engineering Practice     Hybrid Journal   (Followers: 42)
Control Theory and Informatics     Open Access   (Followers: 8)
Corrosion Science     Hybrid Journal   (Followers: 25)
CT&F Ciencia, Tecnologia y Futuro     Open Access  
CTheory     Open Access  

        1 2 3 4 5 6 7 | Last

Journal Cover Annals of Pure and Applied Logic
  [SJR: 1.19]   [H-I: 33]   [2 followers]  Follow
    
  This is an Open Access Journal Open Access journal
   ISSN (Print) 0168-0072
   Published by Elsevier Homepage  [3051 journals]
  • Full-splitting Miller trees and infinitely often equal reals

    • Authors: Yurii Khomskii; Giorgio Laguzzi
      Pages: 1491 - 1506
      Abstract: Publication date: August 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 8
      Author(s): Yurii Khomskii, Giorgio Laguzzi
      We investigate two closely related partial orders of trees on ω ω : the full-splitting Miller trees and the infinitely often equal trees, as well as their corresponding σ-ideals. The former notion was considered by Newelski and Rosłanowski while the latter involves a correction of a result of Spinas. We consider some Marczewski-style regularity properties based on these trees, which turn out to be closely related to the property of Baire, and look at the dichotomies of Newelski–Rosłanowski and Spinas for higher projective pointclasses. We also provide some insight concerning a question of Fremlin whether one can add an infinitely often equal real without adding a Cohen real, which was recently solved by Zapletal.

      PubDate: 2017-05-21T15:55:03Z
      DOI: 10.1016/j.apal.2017.02.001
       
  • On the decidability of the theory of modules over the ring of algebraic
           integers

    • Authors: Sonia L'Innocente; Carlo Toffalori; Gena Puninski
      Pages: 1507 - 1516
      Abstract: Publication date: August 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 8
      Author(s): Sonia L'Innocente, Carlo Toffalori, Gena Puninski
      We will prove that the theory of all modules over the ring of algebraic integers is decidable.

      PubDate: 2017-05-21T15:55:03Z
      DOI: 10.1016/j.apal.2017.02.003
       
  • Proof lengths for instances of the Paris–Harrington principle

    • Authors: Anton Freund
      Pages: 1361 - 1382
      Abstract: Publication date: July 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 7
      Author(s): Anton Freund
      As Paris and Harrington have famously shown, Peano Arithmetic does not prove that for all numbers k , m , n there is an N which satisfies the statement PH ( k , m , n , N ) : For any k-coloring of its n-element subsets the set { 0 , … , N − 1 } has a large homogeneous subset of size ≥m. At the same time very weak theories can establish the Σ 1 -statement ∃ N PH ( k ‾ , m ‾ , n ‾ , N ) for any fixed parameters k , m , n . Which theory, then, does it take to formalize natural proofs of these instances? It is known that ∀ m ∃ N PH ( k ‾ , m , n ‾ , N ) has a natural and short proof (relative to n and k) by Σ n − 1 -induction. In contrast, we show that there is an elementary function e such that any proof of ∃ N PH ( e ( n ) ‾ , n + 1 ‾ , n ‾ , N ) by Σ n − 2 -induction is ridiculously long. In order to establish this result on proof lengths we give a computational analysis of slow provability, a notion introduced by Sy-David Friedman, Rathjen and Weiermann. We will see that slow uniform Σ 1 -reflection is related to a function that has a considerably lower growth rate than F ε 0 but dominates all functions F α with α < ε 0 in the fast-growing hierarchy.

      PubDate: 2017-05-01T14:19:49Z
      DOI: 10.1016/j.apal.2017.01.004
       
  • The Gamma question for many-one degrees

    • Authors: Matthew Harrison-Trainor
      Pages: 1396 - 1405
      Abstract: Publication date: July 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 7
      Author(s): Matthew Harrison-Trainor
      A set A is coarsely computable with density r ∈ [ 0 , 1 ] if there is an algorithm for deciding membership in A which always gives a (possibly incorrect) answer, and which gives a correct answer with density at least r. To any Turing degree a we can assign a value Γ T ( a ) : the minimum, over all sets A in a, of the highest density at which A is coarsely computable. The closer Γ T ( a ) is to 1, the closer a is to being computable. Andrews, Cai, Diamondstone, Jockusch, and Lempp noted that Γ T can take on the values 0, 1/2, and 1, but not any values in strictly between 1/2 and 1. They asked whether the value of Γ T can be strictly between 0 and 1/2. This is the Gamma question. Replacing Turing degrees by many-one degrees, we get an analogous question, and the same arguments show that Γ m can take on the values 0, 1/2, and 1, but not any values strictly between 1/2 and 1. We will show that for any r ∈ [ 0 , 1 / 2 ] , there is an m-degree a with Γ m ( a ) = r . Thus the range of Γ m is [ 0 , 1 / 2 ] ∪ { 1 } . Benoit Monin has recently announced a solution to the Gamma question for Turing degrees. Interestingly, his solution gives the opposite answer: the only possible values of Γ T are 0, 1/2, and 1.

      PubDate: 2017-05-01T14:19:49Z
      DOI: 10.1016/j.apal.2017.01.006
       
  • Propositional team logics

    • Authors: Fan Yang; Jouko Väänänen
      Pages: 1406 - 1441
      Abstract: Publication date: July 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 7
      Author(s): Fan Yang, Jouko Väänänen
      We consider team semantics for propositional logic, continuing [34]. In team semantics the truth of a propositional formula is considered in a set of valuations, called a team, rather than in an individual valuation. This offers the possibility to give meaning to concepts such as dependence, independence and inclusion. We associate with every formula ϕ based on finitely many propositional variables the set 〚 ϕ 〛 of teams that satisfy ϕ. We define a maximal propositional team logic in which every set of teams is definable as 〚 ϕ 〛 for suitable ϕ. This requires going beyond the logical operations of classical propositional logic. We exhibit a hierarchy of logics between the smallest, viz. classical propositional logic, and the maximal propositional team logic. We characterize these different logics in several ways: first syntactically by their logical operations, and then semantically by the kind of sets of teams they are capable of defining. In several important cases we are able to find complete axiomatizations for these logics.

      PubDate: 2017-05-01T14:19:49Z
      DOI: 10.1016/j.apal.2017.01.007
       
  • Neostability in countable homogeneous metric spaces

    • Authors: Gabriel Conant
      Pages: 1442 - 1471
      Abstract: Publication date: July 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 7
      Author(s): Gabriel Conant
      Given a countable, totally ordered commutative monoid R = ( R , ⊕ , ≤ , 0 ) , with least element 0, there is a countable, universal and ultrahomogeneous metric space U R with distances in R . We refer to this space as the R -Urysohn space, and consider the theory of U R in a binary relational language of distance inequalities. This setting encompasses many classical structures of varying model theoretic complexity, including the rational Urysohn space, the free nth roots of the complete graph (e.g. the random graph when n = 2 ), and theories of refining equivalence relations (viewed as ultrametric spaces). We characterize model theoretic properties of Th ( U R ) by algebraic properties of R , many of which are first-order in the language of ordered monoids. This includes stability, simplicity, and Shelah's SOP n -hierarchy. Using the submonoid of idempotents in R , we also characterize superstability, supersimplicity, and weak elimination of imaginaries. Finally, we give necessary conditions for elimination of hyperimaginaries, which further develops previous work of Casanovas and Wagner.

      PubDate: 2017-05-01T14:19:49Z
      DOI: 10.1016/j.apal.2017.01.008
       
  • The uniform content of partial and linear orders

    • Authors: Eric P. Astor; Damir D. Dzhafarov; Reed Solomon; Jacob Suggs
      Pages: 1153 - 1171
      Abstract: Publication date: June 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 6
      Author(s): Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs
      The principle ADS asserts that every linear order on ω has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore [16]. We introduce the principle ADC , which asserts that every such linear order has an infinite ascending or descending chain. The two are easily seen to be equivalent over the base system RCA 0 of second order arithmetic; they are even computably equivalent. However, we prove that ADC is strictly weaker than ADS under Weihrauch (uniform) reducibility. In fact, we show that even the principle SADS , which is the restriction of ADS to linear orders of type ω + ω ⁎ , is not Weihrauch reducible to ADC . In this connection, we define a more natural stable form of ADS that we call General - SADS , which is the restriction of ADS to linear orders of type k + ω , ω + ω ⁎ , or ω + k , where k is a finite number. We define General - SADC analogously. We prove that General - SADC is not Weihrauch reducible to SADS , and so in particular, each of SADS and SADC is strictly weaker under Weihrauch reducibility than its general version. Finally, we turn to the principle CAC , which asserts that every partial order on ω has an infinite chain or antichain. This has two previously studied stable variants, SCAC and WSCAC , which were introduced by Hirschfeldt and Jockusch [16], and by Jockusch, Kastermans, Lempp, Lerman, and Solomon [19], respectively, and which are known to be equivalent over RCA 0 . Here, we show that SCAC is strictly weaker than WSCAC under even computable reducibility.

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2016.11.010
       
  • Dominating the Erdős–Moser theorem in reverse mathematics

    • Authors: Ludovic Patey
      Pages: 1172 - 1209
      Abstract: Publication date: June 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 6
      Author(s): Ludovic Patey
      The Erdős–Moser theorem ( EM ) states that every infinite tournament has an infinite transitive subtournament. This principle plays an important role in the understanding of the computational strength of Ramsey's theorem for pairs ( RT 2 2 ) by providing an alternate proof of RT 2 2 in terms of EM and the ascending descending sequence principle ( ADS ). In this paper, we study the computational weakness of EM and construct a standard model (ω-model) of simultaneously EM , weak König's lemma and the cohesiveness principle, which is not a model of the atomic model theorem. This separation answers a question of Hirschfeldt, Shore and Slaman, and shows that the weakness of the Erdős–Moser theorem goes beyond the separation of EM from ADS proven by Lerman, Solomon and Towsner.

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2016.11.011
       
  • The countable admissible ordinal equivalence relation

    • Authors: William Chan
      Pages: 1224 - 1246
      Abstract: Publication date: June 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 6
      Author(s): William Chan
      Let F ω 1 be the countable admissible ordinal equivalence relation defined on 2 ω by x F ω 1 y if and only if ω 1 x = ω 1 y . Some invariant descriptive set theoretic properties of F ω 1 will be explored using infinitary logic in countable admissible fragments as the main tool. Marker showed F ω 1 is not the orbit equivalence relation of a continuous action of a Polish group on 2 ω . Becker stengthened this to show F ω 1 is not even the orbit equivalence relation of a Δ 1 1 action of a Polish group. However, Montalbán has shown that F ω 1 is Δ 1 1 reducible to an orbit equivalence relation of a Polish group action, in fact, F ω 1 is classifiable by countable structures. It will be shown here that F ω 1 must be classified by structures of high Scott rank. Let E ω 1 denote the equivalence of order types of reals coding well-orderings. If E and F are two equivalence relations on Polish spaces X and Y, respectively, E ≤ a Δ 1 1 F denotes the existence of a Δ 1 1 function f : X → Y which is a reduction of E to F, except possibly on countably many classes of E. Using a result of Zapletal, the existence of a measurable cardinal implies E ω 1 ≤ a Δ 1 1 F ω 1 . However, it will be shown that in Gödel's constructible universe L (and set generic extensions of L), E ω 1 ≤ a Δ 1 1 F ω 1 is false. Lastly, the techniques of the previous result will be used to show that in L (and set gener...
      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2016.12.002
       
  • An analysis of the logic of Riesz spaces with strong unit

    • Authors: Antonio Di Nola; Serafina Lapenta; Ioana Leuştean
      Abstract: Publication date: Available online 31 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Antonio Di Nola, Serafina Lapenta, Ioana Leuştean
      We study Łukasiewicz logic enriched by a scalar multiplication with scalars in [ 0 , 1 ] . Its algebraic models, called Riesz MV-algebras, are, up to isomorphism, unit intervals of Riesz spaces with strong unit endowed with an appropriate structure. When only rational scalars are considered, one gets the class of DMV-algebras and a corresponding logical system. Our research follows two objectives. The first one is to deepen the connections between functional analysis and the logic of Riesz MV-algebras. The second one is to study the finitely presented MV-algebras, DMV-algebras and Riesz MV-algebras, connecting them from logical, algebraic and geometric perspective.

      PubDate: 2017-11-01T20:48:41Z
      DOI: 10.1016/j.apal.2017.10.006
       
  • Capturing k-ary existential second order logic with k-ary
           inclusion–exclusion logic

    • Authors: Raine
      Abstract: Publication date: Available online 20 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Raine Rönnholm
      In this paper we analyze k-ary inclusion–exclusion logic, INEX[k], which is obtained by extending first order logic with k-ary inclusion and exclusion atoms. We show that every formula of INEX[k] can be expressed with a formula of k-ary existential second order logic, ESO[k]. Conversely, every formula of ESO[k] with at most k-ary free relation variables can be expressed with a formula of INEX[k]. From this it follows that, on the level of sentences, INEX[k] captures the expressive power of ESO[k]. We also introduce several useful operators that can be expressed in INEX[k]. In particular, we define inclusion and exclusion quantifiers and so-called term value preserving disjunction which is essential for the proofs of the main results in this paper. Furthermore, we present a novel method of relativization for team semantics and analyze the duality of inclusion and exclusion atoms.

      PubDate: 2017-10-25T18:02:37Z
       
  • Determinacy of refinements to the difference hierarchy of co-analytic sets

    • Authors: Chris Le Sueur
      Abstract: Publication date: Available online 17 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Chris Le Sueur
      In this paper we develop a technique for proving determinacy of classes of the form ω 2 - Π 1 1 + Γ (a refinement of the difference hierarchy on Π 1 1 lying between ω 2 - Π 1 1 and ( ω 2 + 1 ) - Π 1 1 ) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω 2 - Π 1 1 + Σ α 0 for all computable α and of ω 2 - Π 1 1 + Δ 1 1 . This bridges the gap between previously known hypotheses implying determinacy in this region.

      PubDate: 2017-10-25T18:02:37Z
      DOI: 10.1016/j.apal.2017.10.001
       
  • Beyond abstract elementary classes: On the model theory of geometric
           lattices

    • Authors: Tapani Hyttinen; Gianluca Paolini
      Abstract: Publication date: Available online 17 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Tapani Hyttinen, Gianluca Paolini
      Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, ( K 3 , ≼ ) , is ω-stable, it has a monster model and an independence calculus that satisfies all the usual properties of non-forking. On the other hand, these classes are rather unusual, e.g. in ( K 3 , ≼ ) the Smoothness Axiom fails, and so ( K 3 , ≼ ) is not an AEC.

      PubDate: 2017-10-25T18:02:37Z
      DOI: 10.1016/j.apal.2017.10.003
       
  • The tree property at double successors of singular cardinals of
           uncountable cofinality

    • Authors: Mohammad Golshani; Rahman Mohammadpour
      Abstract: Publication date: Available online 14 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Mohammad Golshani, Rahman Mohammadpour
      Assuming the existence of a strong cardinal κ and a measurable cardinal above it, we force a generic extension in which κ is a singular strong limit cardinal of any given cofinality, and such that the tree property holds at κ + + .

      PubDate: 2017-10-25T18:02:37Z
      DOI: 10.1016/j.apal.2017.10.004
       
  • Wild theories with o-minimal open core

    • Authors: Philipp Hieronymi; Travis Nell; Erik Walsberg
      Abstract: Publication date: Available online 13 October 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Philipp Hieronymi, Travis Nell, Erik Walsberg
      Let T be a consistent o-minimal theory extending the theory of densely ordered groups and let T ′ be a consistent theory. Then there is a complete theory T ⁎ extending T such that T is an open core of T ⁎ , but every model of T ⁎ interprets a model of T ′ . If T ′ is NIP, T ⁎ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.

      PubDate: 2017-10-13T17:01:42Z
      DOI: 10.1016/j.apal.2017.10.002
       
  • Pure patterns of order 2

    • Authors: Gunnar Wilken
      Abstract: Publication date: Available online 21 September 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Gunnar Wilken
      We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order 2, showing that the latter characterize the proof-theoretic ordinal 1 ∞ of the fragment Π 1 1 – CA 0 of second order number theory, or equivalently the set theory KP ℓ 0 . As a corollary, we prove that Carlson's result on the well-quasi orderedness of respecting forests of order 2 implies transfinite induction up to the ordinal 1 ∞ . We expect that our approach will facilitate analysis of more powerful systems of patterns.

      PubDate: 2017-09-25T15:43:37Z
      DOI: 10.1016/j.apal.2017.09.001
       
  • Corrigendum to “The d.r.e. degrees are not dense” [Ann. Pure Appl.
           Logic 55 (1991) 125–151]

    • Authors: S. Barry Cooper; Leo Harrington; Alistair H. Lachlan; Steffen Lempp; Robert I. Soare
      Abstract: Publication date: Available online 31 July 2017
      Source:Annals of Pure and Applied Logic
      Author(s): S. Barry Cooper, Leo Harrington, Alistair H. Lachlan, Steffen Lempp, Robert I. Soare
      We indicate how to fix an error in the proof of the main theorem of our original paper, pointed out to us by Yong Liu and Keng Meng Ng.

      PubDate: 2017-08-02T20:59:43Z
      DOI: 10.1016/j.apal.2017.07.001
       
  • Direct twisted Galois stratification

    • Authors: Ivan
      Abstract: Publication date: Available online 26 July 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Ivan Tomašić
      The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.

      PubDate: 2017-08-02T20:59:43Z
       
  • A computational glimpse at the Leibniz and Frege hierarchies

    • Authors: Tommaso Moraschini
      Abstract: Publication date: Available online 26 July 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Tommaso Moraschini
      In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies.

      PubDate: 2017-08-02T20:59:43Z
      DOI: 10.1016/j.apal.2017.07.003
       
  • The Lascar groups and the first homology groups in model theory

    • Authors: Jan Dobrowolski; Byunghan Kim; Junguk Lee
      Abstract: Publication date: Available online 4 July 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Jan Dobrowolski, Byunghan Kim, Junguk Lee
      Let p be a strong type of an algebraically closed tuple over B = acl eq ( B ) in any theory T. Depending on a ternary relation Image 1 satisfying some basic axioms (there is at least one such, namely the trivial independence in T), the first homology group H 1 ⁎ ( p ) can be introduced, similarly to [3]. We show that there is a canonical surjective homomorphism from the Lascar group over B to H 1 ⁎ ( p ) . We also notice that the map factors naturally via a surjection from the ‘relativised’ Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of p is independent from the choice of Image 1 , and can be written simply as H 1 ( p ) . As consequences, in any T, we show that H 1 ( p ) ≥ 2 ℵ 0 unless H 1 ( p ) is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model.

      PubDate: 2017-07-09T19:02:42Z
      DOI: 10.1016/j.apal.2017.06.006
       
  • Orbits of subsets of the monster model and geometric theories

    • Authors: Enrique Casanovas; Luis Jaime Corredor
      Abstract: Publication date: Available online 30 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Enrique Casanovas, Luis Jaime Corredor
      Let M be the monster model of a complete first-order theory T. If D is a subset of M , following D. Zambella we consider e ( D ) = { D ′ ( M , D ) ≡ ( M , D ′ ) } and o ( D ) = { D ′ ( M , D ) ≅ ( M , D ′ ) } . The general question we ask is when e ( D ) = o ( D ) ' The case where D is A-invariant for some small set A is rather straightforward: it just means that D is definable. We investigate the case where D is not invariant over any small subset. If T is geometric and ( M , D ) is an H-structure (in the sense of A. Berenstein and E. Vassiliev) we get some answers. In the case of SU-rank one, e ( D ) is always different from o ( D ) . In the o-minimal case, everything can happen, depending on the complexity of the definable closure. We also study the case of lovely pairs of geometric theories.

      PubDate: 2017-07-09T19:02:42Z
      DOI: 10.1016/j.apal.2017.06.005
       
  • Monadic second-order properties of very sparse random graphs

    • Authors: L.B. Ostrovsky; M.E. Zhukovskii
      Abstract: Publication date: Available online 21 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): L.B. Ostrovsky, M.E. Zhukovskii
      We study asymptotical probabilities of first order and monadic second order properties of Bernoulli random graph G ( n , n − a ) . The random graph obeys FO (MSO) zero-one k-law (k is a positive integer) if, for any first order (monadic second order) formulae with quantifier depth at most k, it is true for G ( n , n − a ) with probability tending to 0 or to 1. Zero-one k-laws are well studied only for the first order language and a < 1 . We obtain new zero-one k-laws (both for first order and monadic second order languages) when a > 1 . Proofs of these results are based on the earlier studies of first order equivalence classes and our study of monadic second order equivalence classes. The respective results are of interest by themselves.

      PubDate: 2017-06-28T18:34:50Z
      DOI: 10.1016/j.apal.2017.06.004
       
  • Slow Reflection

    • Authors: Anton Freund
      Abstract: Publication date: Available online 20 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Anton Freund
      We describe a “slow” version of the hierarchy of uniform reflection principles over Peano Arithmetic (PA). These principles are unprovable in Peano Arithmetic (even when extended by usual reflection principles of lower complexity) and introduce a new provably total function. At the same time the consistency of PA plus slow reflection is provable in PA + Con ( PA ) . We deduce a conjecture of S.-D. Friedman, Rathjen and Weiermann: Transfinite iterations of slow consistency generate a hierarchy of precisely ε 0 stages between PA and PA + Con ( PA ) (where Con ( PA ) refers to the usual consistency statement).

      PubDate: 2017-06-28T18:34:50Z
      DOI: 10.1016/j.apal.2017.06.003
       
  • Clustered cell decomposition in P-minimal structures

    • Authors: Saskia Chambille; Pablo Cubides Kovacsics; Eva Leenknegt
      Abstract: Publication date: Available online 9 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt
      We prove that in a P-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and Mourgues, which were dependent on the existence of definable Skolem functions. Clustered cells have the same geometric structure as classical, Denef-type cells, but do not have a definable function as center. Instead, the center is given by a definable set whose fibers are finite unions of balls.

      PubDate: 2017-06-10T17:06:33Z
      DOI: 10.1016/j.apal.2017.06.002
       
  • A microscopic approach to Souslin-tree constructions. Part I

    • Authors: Ari Meir Brodsky; Assaf Rinot
      Abstract: Publication date: Available online 8 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Ari Meir Brodsky, Assaf Rinot
      We propose a parameterized proxy principle from which κ-Souslin trees with various additional features can be constructed, regardless of the identity of κ. We then introduce the microscopic approach, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a coherent κ-Souslin tree that applies also for κ inaccessible. We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that all known ⋄-based constructions of κ-Souslin trees may be redirected through this new proxy principle.

      PubDate: 2017-06-10T17:06:33Z
      DOI: 10.1016/j.apal.2017.05.003
       
  • Ramsey type properties of ideals

    • Abstract: Publication date: Available online 7 June 2017
      Source:Annals of Pure and Applied Logic
      Author(s): M. Hrušák, D. Meza-Alcántara, E. Thümmel, C. Uzcátegui
      We study several combinatorial properties of (mostly definable) ideals on countable sets. In several cases, we identify critical ideals for such properties in the Katětov order. In particular, the ideal R generated by the homogeneous subsets of the random graph is critical for the Ramsey property. The question as to whether there is a tall definable Ramsey ideal is raised and studied. It is shown that no tall F σ ideal is Ramsey, while there is a tall co-analytic Ramsey ideal.

      PubDate: 2017-06-10T17:06:33Z
       
  • Increasing sentences in Simple Type Theory

    • Authors: Panagiotis Rouvelas
      Abstract: Publication date: Available online 26 May 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Panagiotis Rouvelas
      We introduce the notion of pseudo-increasing sentence, and prove that all such sentences are decidable by a weak subtheory of Simple Type Theory with infinitely many zero-type elements. We then present the consequences of this result to Quine's theory of “New Foundations” (NF). In particular, we prove the decidability of certain universal-existential sentences, and establish the consistency of a subtheory of NF.

      PubDate: 2017-06-01T16:29:34Z
      DOI: 10.1016/j.apal.2017.05.002
       
  • Uniform interpolation and compact congruences

    • Authors: Samuel van; Gool George Metcalfe Constantine Tsinakis
      Abstract: Publication date: Available online 26 May 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Samuel J. van Gool, George Metcalfe, Constantine Tsinakis
      Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown, following related results of Ghilardi and Zawadowski, that a combination of these properties provides a sufficient condition for the first-order theory of the variety to admit a model completion.

      PubDate: 2017-05-26T16:09:09Z
       
  • Universal graphs at ℵω1+1

    • Authors: Jacob Davis
      Abstract: Publication date: Available online 3 May 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Jacob Davis
      Starting from a supercompact cardinal we build a model in which 2 ℵ ω 1 = 2 ℵ ω 1 + 1 = ℵ ω 1 + 3 but there is a jointly universal family of size ℵ ω 1 + 2 of graphs on ℵ ω 1 + 1 . The same technique will work for any uncountable cardinal in place of ω 1 .

      PubDate: 2017-05-07T14:48:17Z
      DOI: 10.1016/j.apal.2017.04.005
       
  • Reducts of the Henson graphs with a constant

    • Abstract: Publication date: July 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 7
      Author(s): András Pongrácz
      Let ( H n , E ) denote the Henson graph, the unique countable homogeneous graph whose age consists of all finite K n -free graphs. In this note the reducts of the Henson graphs with a constant are determined up to first-order interdefinability. It is shown that up to first-order interdefinability ( H 3 , E , 0 ) has 13 reducts and ( H n , E , 0 ) has 16 reducts for n ≥ 4 .

      PubDate: 2017-05-01T14:19:49Z
       
  • Addendum to: “The Bolzano–Weierstrass theorem is the jump of weak
           Kőnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623–655]

    • Authors: Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder
      Abstract: Publication date: Available online 29 April 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder
      The purpose of this addendum is to close a gap in the proof of [1, Theorem 11.2], which characterizes the computational content of the Bolzano–Weierstraß Theorem for arbitrary computable metric spaces.

      PubDate: 2017-05-01T14:19:49Z
      DOI: 10.1016/j.apal.2017.04.004
       
  • Imaginaries in bounded pseudo real closed fields

    • Authors: Samaria Montenegro
      Abstract: Publication date: Available online 21 April 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Samaria Montenegro
      The main result of this paper is that if M is a bounded PRC field, then T h ( M ) eliminates imaginaries in the language of rings expanded by constant symbols. As corollary of the elimination of imaginaries and the fact that the algebraic closure (in the sense of model theory) defines a pregeometry we obtain that the complete theory of a bounded PRC field is superrosy of U th -rank 1.

      PubDate: 2017-04-23T21:52:32Z
      DOI: 10.1016/j.apal.2017.04.003
       
  • Finding a field in a Zariski-like structure

    • Authors: Kaisa Kangas
      Abstract: Publication date: Available online 6 April 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Kaisa Kangas
      We show that if M is a Zariski-like structure (see [6]) and the canonical pregeometry obtained from the bounded closure operator (bcl) is non locally modular, then M interprets either an algebraically closed field or a non-classical group.

      PubDate: 2017-04-09T20:53:23Z
      DOI: 10.1016/j.apal.2017.04.002
       
  • Ceres in Intuitionistic Logic

    • Authors: David Cerna; Alexander Leitsch; Giselle Reis; Simon Wolfsteiner
      Abstract: Publication date: Available online 5 April 2017
      Source:Annals of Pure and Applied Logic
      Author(s): David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
      In this paper we present a procedure allowing the extension of a CERES-based cut-elimination method to intuitionistic logic. Previous results concerning this problem manage to capture fragments of intuitionistic logic, but in many essential cases structural constraints were violated during normal form construction resulting in a classical proof. The heart of the CERES method is the resolution calculus, which ignores the structural constraints of the well known intuitionistic sequent calculi. We propose, as a method of avoiding the structural violations, the generalization of resolution from the resolving of clauses to the resolving of cut-free proofs, in other words, what we call proof resolution. The result of proof resolution is a cut-free proof rather than a clause. Note that resolution on ground clauses is essentially atomic cut, thus using proof resolution to construct cut-free proofs one would need to join the two proofs together and remove the atoms which where resolved. To efficiently perform this joining (and guarantee that the resulting cut-free proof is intuitionistic) we develop the concept of proof subsumption (similar to clause subsumption) and indexed resolution, a refinement indexing atoms by their corresponding positions in the cut formula. Proof subsumption serves as a tool to prove the completeness of the new method CERES-i, and indexed resolution provides an efficient strategy for the joining of two proofs which is in general a nondeterministic search. Such a refinement is essential for any attempt to implement this method. Finally we compare the complexity of CERES-i with that of Gentzen-based methods.

      PubDate: 2017-04-09T20:53:23Z
      DOI: 10.1016/j.apal.2017.04.001
       
  • Condensational equivalence, equimorphism, elementary equivalence and
           similar similarities

    • Authors: Nenad
      Abstract: Publication date: June 2017
      Source:Annals of Pure and Applied Logic, Volume 168, Issue 6
      Author(s): Miloš S. Kurilić, Nenad Morača
      We investigate the interplay between several similarities of relational structures: the condensational equivalence (defined by X ∼ c Y iff there are bijective homomorphisms f : X → Y and g : Y → X ), the isomorphism, the equimorphism (bi-embedability), the elementary equivalence and the similarities of structures determined by some similarities of their self-embedding monoids. It turns out that the Hasse diagram describing the hierarchy of these equivalence relations restricted to the set Mod L ( κ ) of all L-structures of size κ collapses significantly for a finite cardinal κ or for a unary language L, while for infinite structures of non-unary languages we have a large diversity.

      PubDate: 2017-04-02T17:28:22Z
       
  • Abelian C-minimal valued groups

    • Authors: F. Delon; P. Simonetta
      Abstract: Publication date: Available online 29 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): F. Delon, P. Simonetta
      We classify abelian C-minimal valued groups up to pure and elementary extensions and small modifications. We define first the notion of almost regularity for abelian valued groups. Then we introduce on the chain of valuations the structure which enables us to characterize C-minimal abelian valued groups as the almost regular ones with an o-minimal chain.

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.03.008
       
  • Superstability from categoricity in abstract elementary classes

    • Authors: Will Boney; Rami Grossberg; Monica M. VanDieren; Sebastien Vasey
      Abstract: Publication date: Available online 27 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Will Boney, Rami Grossberg, Monica M. VanDieren, Sebastien Vasey
      Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for nonsplitting, a particular notion of independence. We generalize their result as follows: given any abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisfies a superstability property provided that the class is categorical and satisfies a weakening of amalgamation. This extends the Shelah–Villaveces result (the independence notion there was splitting) as well as a result of the first and second author where the independence notion was coheir. The argument is in ZFC and fills a gap in the Shelah–Villaveces proof.

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.01.005
       
  • Shelah's eventual categoricity conjecture in universal classes: Part I

    • Authors: Sebastien Vasey
      Abstract: Publication date: Available online 22 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Sebastien Vasey
      We prove: Theorem 0.1 Let K be a universal class. If K is categorical in cardinals of arbitrarily high cofinality, then K is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also relies on a deep result of Shelah. As opposed to previous works, the argument is in ZFC and does not use the assumption of categoricity in a successor cardinal. The argument generalizes to abstract elementary classes (AECs) that satisfy a locality property and where certain prime models exist. Moreover assuming amalgamation we can give an explicit bound on the Hanf number and get rid of the cofinality restrictions: Theorem 0.2 Let K be an AEC with amalgamation. Assume that K is fully LS ( K ) -tame and short and has primes over sets of the form M ∪ { a } . Write H 2 : = ℶ ( 2 ℶ ( 2 LS ( K ) ) + ) + . If K is categorical in a λ > H 2 , then K is categorical in all λ ′ ≥ H 2 .

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.03.003
       
  • Erratum to: “Scott rank of Polish metric spaces” [Ann. Pure Appl.
           Logic 165 (12) (2014) 1919–1929]

    • Authors: Michal Doucha
      Abstract: Publication date: Available online 21 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Michal Doucha


      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.03.006
       
  • Homology groups of types in stable theories and the Hurewicz
           correspondence

    • Authors: John Goodrick; Byunghan Kim; Alexei Kolesnikov
      Abstract: Publication date: Available online 18 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): John Goodrick, Byunghan Kim, Alexei Kolesnikov
      We give an explicit description of the homology group H n ( p ) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups H i ( q ) are trivial for 2 ≤ i < n . The group H n ( p ) turns out to be isomorphic to the automorphism group of a certain part of the algebraic closure of n independent realizations of p; it follows from the authors' earlier work that such a group must be abelian. We call this the “Hurewicz correspondence” by analogy with the Hurewicz Theorem in algebraic topology.

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.03.007
       
  • The strength of infinitary Ramseyan principles can be accessed by their
           densities

    • Authors: Andrey Bovykin; Andreas Weiermann
      Abstract: Publication date: Available online 14 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Andrey Bovykin, Andreas Weiermann
      In this article, we conduct a model-theoretic investigation of three infinitary Ramseyan statements: the Infinite Ramsey Theorem for pairs and two colours ( RT 2 2 ), the Canonical Ramsey Theorem for pairs ( CRT 2 ) and the Regressive Ramsey Theorem for pairs ( RegRT 2 ). We approximate the logical strength of these principles by the strength of their first-order iterated versions, known as density principles. We then investigate their logical strength using strong initial segments of models of Peano Arithmetic, in the spirit of the classical article by Paris and Kirby, hereby re-proving old results model-theoretically. The article is concluded by a discussion of two further outreaches of densities. One is a further investigation of the strength of the Ramsey Theorem for pairs. The other deals with the asymptotics of the standard Ramsey function R 2 2 .

      PubDate: 2017-04-02T17:28:22Z
      DOI: 10.1016/j.apal.2017.03.005
       
  • Nullifying randomness and genericity using symmetric difference

    • Authors: Rutger Kuyper; Joseph S. Miller
      Abstract: Publication date: Available online 10 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Rutger Kuyper, Joseph S. Miller
      For a class C of sets, let us say that a set A is C stabilising if A △ X ∈ C for every X ∈ C . We prove that the Martin-Löf stabilising sets are exactly the K-trivial sets, as are the weakly 2-random stabilising sets. We also show that the 1-generic stabilising sets are exactly the computable sets.

      PubDate: 2017-03-12T16:37:07Z
      DOI: 10.1016/j.apal.2017.03.004
       
  • On generalized Van Benthem-type characterizations

    • Authors: Grigory K. Olkhovikov
      Abstract: Publication date: Available online 9 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Grigory K. Olkhovikov
      The paper continues the line of [6], [7], and [8]. This results in a model-theoretic characterization of expressive powers of arbitrary finite sets of guarded connectives of degree not exceeding 1 and regular connectives of degree 2 over the language of bounded lattices.

      PubDate: 2017-03-12T16:37:07Z
      DOI: 10.1016/j.apal.2017.03.002
       
  • Elementary recursive quantifier elimination based on Thom encoding and
           sign determination

    • Authors: Daniel Perrucci; Marie-Françoise Roy
      Abstract: Publication date: Available online 8 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Daniel Perrucci, Marie-Françoise Roy
      We describe a new quantifier elimination algorithm for real closed fields based on Thom encoding and sign determination. The complexity of this algorithm is elementary recursive and its proof of correctness is completely algebraic. In particular, the notion of connected components of semialgebraic sets is not used.

      PubDate: 2017-03-12T16:37:07Z
      DOI: 10.1016/j.apal.2017.03.001
       
  • Forking in short and tame abstract elementary classes

    • Authors: Will Boney; Rami Grossberg
      Abstract: Publication date: Available online 2 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Will Boney, Rami Grossberg
      We develop a notion of forking for Galois-types in the context of Elementary Classes (AECs). Under the hypotheses that an AEC K is tame, type-short, and failure of an order-property, we consider Definition 1 Let M 0 ≺ N be models from K and A be a set. We say that the Galois-type of A over N does not fork over M 0 , written A ⫝ M 0 N , iff for all small a ∈ A and all small N − ≺ N , we have that Galois-type of a over N − is realized in M 0 . Assuming property (E) (Existence and Extension, see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a “big cardinal”. Finally, we show that under large cardinal axioms the proofs are simpler and the non-forking is more powerful. In [10], it is established that, if this notion is an independence notion, then it is the only one.

      PubDate: 2017-03-08T09:28:37Z
      DOI: 10.1016/j.apal.2017.02.002
       
  • Disjoint Borel functions

    • Authors: Dan Hathaway
      Abstract: Publication date: Available online 1 March 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Dan Hathaway
      For each a ∈ ω ω , we define a Baire class one function f a : ω ω → ω ω which encodes a in a certain sense. We show that for each Borel g : ω ω → ω ω , f a ∩ g = ∅ implies a ∈ Δ 1 1 ( c ) where c is any code for g. We generalize this theorem for g in a larger pointclass Γ. Specifically, when Γ = Δ 2 1 , a ∈ L [ c ] . Also for all n ∈ ω , when Γ = Δ 3 + n 1 , a ∈ M 1 + n ( c ) .

      PubDate: 2017-03-02T08:54:36Z
      DOI: 10.1016/j.apal.2017.02.004
       
  • Supercompact extender based Magidor-Radin forcing

    • Authors: Carmi Merimovich
      Abstract: Publication date: Available online 28 February 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Carmi Merimovich
      The extender based Magidor-Radin forcing is being generalized to supercompact type extenders.

      PubDate: 2017-03-02T08:54:36Z
      DOI: 10.1016/j.apal.2017.02.006
       
  • CE-cell decomposition and open cell property in o-minimal structures

    • Authors: Somayyeh Tari
      Abstract: Publication date: Available online 28 February 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Somayyeh Tari
      Continuous extension cells, or CE-cells, are cells whose defining functions have continuous extensions on closure of their domains. An o-minimal structure has the CE-cell decomposition property if any cell decomposition has a refinement by CE-cells. If the o-minimal structure M has the CE-cell decomposition property, then it has the open cell property. In other words, every definable open set in M is a finite union of definable open cells. Here, we show that the open cell property does not imply the CE-cell decomposition property. Also, after introducing an existence of limit property, we show that the CE-cell decomposition property is equivalent to the open cell property and the existence of limit property.

      PubDate: 2017-03-02T08:54:36Z
      DOI: 10.1016/j.apal.2017.02.005
       
  • Unifying the model theory of first-order and second-order arithmetic via
           WKL0⁎

    • Authors: Ali Enayat; Tin Lok Wong
      Abstract: Publication date: Available online 2 January 2017
      Source:Annals of Pure and Applied Logic
      Author(s): Ali Enayat, Tin Lok Wong
      We develop machinery to make the Arithmetized Completeness Theorem more effective in the study of many models of I Δ 0 + B Σ 1 + exp , including all countable ones, by passing on to the conservative extension WKL 0 ⁎ of I Δ 0 + B Σ 1 + exp . Our detailed study of the model theory of WKL 0 ⁎ leads to the simplification and improvement of many results in the model theory of Peano arithmetic and its fragments pertaining to the construction of various types of end extensions and initial segments.

      PubDate: 2017-02-04T06:18:23Z
      DOI: 10.1016/j.apal.2016.12.003
       
 
 
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.80.227.189
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2016