for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2410 journals)
    - CHEMICAL ENGINEERING (206 journals)
    - CIVIL ENGINEERING (201 journals)
    - ELECTRICAL ENGINEERING (112 journals)
    - ENGINEERING (1268 journals)
    - ENGINEERING MECHANICS AND MATERIALS (392 journals)
    - HYDRAULIC ENGINEERING (57 journals)
    - INDUSTRIAL ENGINEERING (78 journals)
    - MECHANICAL ENGINEERING (96 journals)

ENGINEERING (1268 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: 15)
Abstract and Applied Analysis     Open Access   (Followers: 3)
Aceh International Journal of Science and Technology     Open Access   (Followers: 3)
ACS Nano     Hybrid Journal   (Followers: 281)
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: 17)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 3)
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: 16)
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: 14)
Advances in Polymer Science     Hybrid Journal   (Followers: 44)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Remote Sensing     Open Access   (Followers: 45)
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: 11)
American Journal of Environmental Engineering     Open Access   (Followers: 16)
American Journal of Industrial and Business Management     Open Access   (Followers: 24)
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Pure and Applied Logic     Open Access   (Followers: 3)
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: 5)
Arab Journal of Basic and Applied Sciences     Open Access  
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: 9)
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: 9)
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     Hybrid Journal   (Followers: 1)
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)
Biomicrofluidics     Open Access   (Followers: 4)
BioNanoMaterials     Open Access   (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: 43)
Case Studies in Engineering Failure Analysis     Open Access   (Followers: 6)
Case Studies in Thermal Engineering     Open Access   (Followers: 6)
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: 22)
Clay Minerals     Full-text available via subscription   (Followers: 10)
Clean Air Journal     Full-text available via subscription   (Followers: 1)
Clinical Science     Hybrid Journal   (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: 3)
COMBINATORICA     Hybrid Journal  
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Combustion, Explosion, and Shock Waves     Hybrid Journal   (Followers: 15)
Communications Engineer     Hybrid Journal   (Followers: 1)
Communications in Information Science and Management Engineering     Open Access   (Followers: 4)
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: 286)
Composites Part A : Applied Science and Manufacturing     Hybrid Journal   (Followers: 219)
Composites Part B : Engineering     Hybrid Journal   (Followers: 253)
Composites Science and Technology     Hybrid Journal   (Followers: 198)
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: 34)
Conciencia Tecnologica     Open Access  
Concurrent Engineering     Hybrid Journal   (Followers: 3)

        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: 3  

  This is an Open Access Journal Open Access journal
ISSN (Print) 0168-0072
Published by Elsevier Homepage  [3159 journals]
  • Binary simple homogeneous structures

    • Abstract: Publication date: Available online 17 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Vera Koponen We describe all binary simple homogeneous structures M in terms of ∅-definable equivalence relations on M, which “coordinatize” M and control dividing, and extension properties that respect these equivalence relations.
       
  • Finite computable dimension and degrees of categoricity

    • Abstract: Publication date: Available online 16 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Barbara F. Csima, Jonathan Stephenson We first give an example of a rigid structure of computable dimension 2 such that the unique isomorphism between two non-computably isomorphic computable copies has Turing degree strictly below 0″, and not above 0′. This gives a first example of a computable structure with a degree of categoricity that does not belong to an interval of the form [0(α),0(α+1)] for any computable ordinal α. We then extend the technique to produce a rigid structure of computable dimension 3 such that if d0, d1, and d2 are the degrees of isomorphisms between distinct representatives of the three computable equivalence classes, then each di
       
  • Cut-elimination for ω 1

    • Abstract: Publication date: Available online 15 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Toshiyasu Arai In this paper we calibrate the strength of the soundness of a set theory KPω+(Π1-Collection) with the assumption that ‘there exists an uncountable regular ordinal’ in terms of the existence of ordinals.
       
  • On the Classification of First Order Gödel Logics

    • Abstract: Publication date: Available online 14 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Matthias Baaz, Norbert Preining We characterize the recursively enumerable first order Gödel logics with △ with respect to validity and non-satisfiability. The finitely valued and four infinitely valued Gödel logics with △ are recursively enumerable, not-satisfiability is recursively enumerable if validity is recursively enumerable. This is in contrast to first order Gödel logics without △, where validity is recursively enumerable for finitely valued and two infinitely valued Gödel logics, not-satisfiability is recursively enumerable if validity is recursively enumerable or 0 isolated in the truth value set.
       
  • Atomic polymorphism and the existence property

    • Abstract: Publication date: Available online 13 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Gilda Ferreira We present a purely proof-theoretic proof of the existence property for the full intuitionistic first-order predicate calculus, via natural deduction, in which commuting conversions are not needed. Such proof illustrates the potential of an atomic polymorphic system with only three generators of formulas – conditional and first and second-order universal quantifiers – as a tool for proof-theoretical studies.
       
  • A cubical model of homotopy type theory

    • Abstract: Publication date: Available online 10 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Steve Awodey We construct an algebraic weak factorization system (L,R) on the category of cartesian cubical sets, in which the canonical path object factorization A→AI→A×A, induced by the 1-cube I, is an (L,R)-factorization for any R-object A.
       
  • What we talk about when we talk about numbers

    • Abstract: Publication date: Available online 8 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Richard Pettigrew In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki, and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.
       
  • Logical form, mathematical practice, and Frege's Begriffsschrift

    • Abstract: Publication date: Available online 8 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Danielle Macbeth For over a century we have been reading Frege's Begriffsschrift notation as a variant of standard notation. But Frege's notation can also be read differently, in a way enabling us to understand how reasoning in Begriffsschrift is at once continuous with and a significant advance beyond earlier mathematical practices of reasoning within systems of signs. It is this second reading that I outline here, beginning with two preliminary claims. First, I show that one does not reason in specially devised systems of signs of mathematics as one reasons in natural language; the signs are not abbreviations of words. Then I argue that even given a system of signs within which to reason in mathematics, there are two ways one can read expressions involving those signs, either mathematically or mechanically. These two lessons are then applied to a reading of Frege's proof of Theorem 133 in Part III of his 1879 logic, a proof that Frege claims is at once strictly deductive and ampliative, a real extension of our knowledge. In closing, I clarify what this might mean, and how it might be possible.
       
  • Virtual large cardinals

    • Abstract: Publication date: Available online 8 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Victoria Gitman, Ralf Schindler We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0#. Given a large cardinal notion A characterized by the existence of elementary embeddings j:Vα→Vβ satisfying some list of properties, we say that a cardinal is virtually A if the embeddings j:VαV→VβV exist in the generic multiverse of V. Unlike their ideological cousins generic large cardinals, virtual large cardinals are actual large cardinals that are compatible with V=L. We study virtual versions of extendible, n-huge, and rank-into-rank cardinals and determine where they fit into the large cardinal hierarchy.
       
  • The Nikodym property and cardinal characteristics of the continuum

    • Abstract: Publication date: Available online 30 July 2018Source: Annals of Pure and Applied LogicAuthor(s): Damian Sobota We present a general method of constructing Boolean algebras with the Nikodym property and of some given cardinalities. The construction is dependent on the values of some classical cardinal characteristics of the continuum. As a result we obtain a consistent example of an infinite Boolean algebra with the Nikodym property and of cardinality strictly less than the continuum c. It follows that the existence of such an algebra is undecidable by the usual axioms of set theory. Besides, our results shed some new light on the Efimov problem and cofinalities of Boolean algebras.
       
  • First order logic without equality on relativized semantics

    • Abstract: Publication date: Available online 20 July 2018Source: Annals of Pure and Applied LogicAuthor(s): Amitayu Banerjee, Mohamed Khaled Let α≥2 be any ordinal. We consider the class Drsα of relativized diagonal free set algebras of dimension α. With same technique, we prove several important results concerning this class. Among these results, we prove that almost all free algebras of Drsα are atomless, and none of these free algebras contains zero-dimensional elements other than zero and top element. The class Drsα corresponds to first order logic, without equality symbol, with α-many variables and on relativized semantics. Hence, in this variation of first order logic, there is no finitely axiomatizable, complete and consistent theory.
       
  • The Dyck and the Preiss separation uniformly

    • Abstract: Publication date: October 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 10Author(s): Vassilios Gregoriades We are concerned with two separation theorems about analytic sets by Dyck and Preiss, the former involves the positively-defined subsets of the Cantor space and the latter the Borel-convex subsets of finite dimensional Banach spaces. We show by introducing the corresponding separation trees that both of these results admit a constructive proof. This enables us to give the uniform version of these separation theorems, and to derive as corollaries the results, which are analogous to the fundamental fact “HYP is effectively bi-analytic” provided by the Suslin–Kleene Theorem.
       
  • HA &rft.title=Annals+of+Pure+and+Applied+Logic&rft.issn=0168-0072&rft.date=&rft.volume=">The Σ1-provability logic of HA

    • Abstract: Publication date: October 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 10Author(s): Mohammad Ardeshir, Mojtaba Mojtahedi In this paper we introduce a modal theory iHσ which is sound and complete for arithmetical Σ1-interpretations in HA, in other words, we will show that iHσ is the Σ1-provability logic of HA. Moreover we will show that iHσ is decidable. As a by-product of these results, we show that HA+□⊥ has de Jongh property.
       
  • Logic for abstract hoop twist-structures

    • Abstract: Publication date: October 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 10Author(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.
       
  • On constructivity and the Rosser property: a closer look at some
           Gödelean proofs

    • Abstract: Publication date: October 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 10Author(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.
       
  • Club isomorphisms on higher Aronszajn trees

    • Abstract: Publication date: October 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 10Author(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.
       
  • Axiomatizations of team logics

    • Abstract: Publication date: September 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 9Author(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.
       
  • First order theory of cyclically ordered groups

    • Abstract: Publication date: September 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 9Author(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.
       
  • Henselianity in the language of rings

    • Abstract: Publication date: September 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 9Author(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.
       
  • E 0 +classes+at+arbitrary+projective+levels&rft.title=Annals+of+Pure+and+Applied+Logic&rft.issn=0168-0072&rft.date=&rft.volume=">Definable E 0 classes at arbitrary projective levels

    • Abstract: Publication date: September 2018Source: Annals of Pure and Applied Logic, Volume 169, Issue 9Author(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 Πn1-set of reals, which is a E0-equivalence class, hence a countable set, and which does not contain any OD element, while every non-empty countable Σn1-set of reals is constructible, hence contains only OD reals.
       
  • Algorithmically random series and Brownian motion

    • Abstract: Publication date: Available online 5 July 2018Source: Annals of Pure and Applied LogicAuthor(s): Paul Potgieter We consider some random series parametrised by Martin-Löf random sequences. The simplest case is that of Rademacher series, independent of a time parameter. This is then extended to the case of Fourier series on the circle with Rademacher coefficients. Finally, a specific Fourier series which has coefficients determined by a computable function is shown to converge to an algorithmically random Brownian motion.
       
  • Vaught's conjecture for weakly o-minimal theories of convexity rank 1

    • Abstract: Publication date: Available online 21 June 2018Source: Annals of Pure and Applied LogicAuthor(s): A. Alibek, B.S. Baizhanov, B.Sh. Kulpeshov, T.S. Zambarnaya We study Vaught's problem for weakly o-minimal theories of convexity rank 1. We investigate such theories having less than 2ω countable models and prove their binarity. The main result of the paper is a description of the countable spectrum of weakly o-minimal theories of convexity rank 1.
       
  • A representation theorem for measurable relation algebras

    • Abstract: Publication date: Available online 19 June 2018Source: Annals of Pure and Applied LogicAuthor(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.
       
 
 
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.224.220.72
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-