for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> ENGINEERING (Total: 2497 journals)
    - CHEMICAL ENGINEERING (210 journals)
    - CIVIL ENGINEERING (218 journals)
    - ELECTRICAL ENGINEERING (118 journals)
    - ENGINEERING (1307 journals)
    - ENGINEERING MECHANICS AND MATERIALS (402 journals)
    - HYDRAULIC ENGINEERING (57 journals)
    - INDUSTRIAL ENGINEERING (84 journals)
    - MECHANICAL ENGINEERING (101 journals)

ENGINEERING (1307 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: 5)
ACS Nano     Hybrid Journal   (Followers: 303)
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: 10)
Adıyaman Üniversitesi Mühendislik Bilimleri Dergisi     Open Access  
Adsorption     Hybrid Journal   (Followers: 4)
Advanced Engineering Forum     Full-text available via subscription   (Followers: 9)
Advanced Journal of Graduate Research     Open Access  
Advanced Nonlinear Studies     Hybrid Journal  
Advanced Science     Open Access   (Followers: 6)
Advanced Science Focus     Free   (Followers: 5)
Advanced Science Letters     Full-text available via subscription   (Followers: 11)
Advanced Science, Engineering and Medicine     Partially Free   (Followers: 7)
Advanced Synthesis & Catalysis     Hybrid Journal   (Followers: 17)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 4)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 8)
Advances in Engineering Software     Hybrid Journal   (Followers: 28)
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: 14)
Advances in Heat Transfer     Full-text available via subscription   (Followers: 23)
Advances in Human Factors/Ergonomics     Full-text available via subscription   (Followers: 22)
Advances in Magnetic and Optical Resonance     Full-text available via subscription   (Followers: 8)
Advances in Natural Sciences: Nanoscience and Nanotechnology     Open Access   (Followers: 29)
Advances in Nonlinear Analysis     Hybrid Journal  
Advances in Operations Research     Open Access   (Followers: 12)
Advances in OptoElectronics     Open Access   (Followers: 6)
Advances in Physics Theories and Applications     Open Access   (Followers: 16)
Advances in Polymer Science     Hybrid Journal   (Followers: 45)
Advances in Porous Media     Full-text available via subscription   (Followers: 5)
Advances in Remote Sensing     Open Access   (Followers: 50)
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)
Al-Nahrain Journal for Engineering Sciences     Open Access  
Alexandria Engineering Journal     Open Access   (Followers: 1)
AMB Express     Open Access   (Followers: 1)
American Journal of Applied Sciences     Open Access   (Followers: 27)
American Journal of Engineering and Applied Sciences     Open Access   (Followers: 10)
American Journal of Engineering Education     Open Access   (Followers: 12)
American Journal of Environmental Engineering     Open Access   (Followers: 16)
American Journal of Industrial and Business Management     Open Access   (Followers: 25)
Anadolu University Journal of Science and Technology A : Applied Sciences and Engineering     Open Access  
Annals of Combinatorics     Hybrid Journal   (Followers: 4)
Annals of Pure and Applied Logic     Open Access   (Followers: 3)
Annals of Regional Science     Hybrid Journal   (Followers: 8)
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: 20)
Applied Clay Science     Hybrid Journal   (Followers: 6)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 13)
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: 6)
Applied Sciences     Open Access   (Followers: 3)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 6)
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)
Arid Zone Journal of Engineering, Technology and Environment     Open Access   (Followers: 2)
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 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)
Automotive Experiences     Open Access  
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: 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: 16)
Biomedical Engineering     Hybrid Journal   (Followers: 2)
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: 20)
Biomedical Engineering, IEEE Transactions on     Hybrid Journal   (Followers: 35)
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: 5)
BioNanoMaterials     Open Access   (Followers: 2)
Biotechnology Progress     Hybrid Journal   (Followers: 41)
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 & 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)
Carbon Resources Conversion     Open Access   (Followers: 1)
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: 3)
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)
Ciencia y Tecnología     Open Access  
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)
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: 3)
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: 292)
Composites Part A : Applied Science and Manufacturing     Hybrid Journal   (Followers: 224)
Composites Part B : Engineering     Hybrid Journal   (Followers: 269)
Composites Science and Technology     Hybrid Journal   (Followers: 201)
Comptes Rendus Mécanique     Full-text available via subscription   (Followers: 2)
Computation     Open Access   (Followers: 1)
Computational Geosciences     Hybrid Journal   (Followers: 17)
Computational Optimization and Applications     Hybrid Journal   (Followers: 8)
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: 20)
Computers & Geosciences     Hybrid Journal   (Followers: 31)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 9)

        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  [3155 journals]
  • Existential monadic second order logic of undirected graphs: The Le Bars
           conjecture is false

    • Abstract: Publication date: Available online 13 December 2018Source: Annals of Pure and Applied LogicAuthor(s): S.N. Popova, M.E. Zhukovskii In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ϕ such that P(Gn⊨ϕ) does not converge as n→∞ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices {1,…,n}). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.
       
  • Comparing material and structural set theories

    • Abstract: Publication date: Available online 22 November 2018Source: Annals of Pure and Applied LogicAuthor(s): Michael Shulman We study elementary theories of well-pointed toposes and pretoposes, regarded as category-theoretic or “structural” set theories in the spirit of Lawvere's “Elementary Theory of the Category of Sets”. We consider weak intuitionistic and predicative theories of pretoposes, and we also propose category-theoretic versions of stronger axioms such as unbounded separation, replacement, and collection. Finally, we compare all of these theories formally to traditional membership-based or “material” set theories, using a version of the classical construction based on internal well-founded relations.
       
  • A characterization of those categories whose internal logic is Hilbert's
           ε-calculus

    • Abstract: Publication date: Available online 13 November 2018Source: Annals of Pure and Applied LogicAuthor(s): Fabio Pasquali We characterize categories whose internal logic is Hilbert's ε-calculus as those categories which have a proper factorization system satisfying the axiom of choice and in which every non-initial object is injective. We provide an example of such a category where the law of excluded middle is not valid.
       
  • A note on non-classical nonstandard arithmetic

    • Abstract: Publication date: Available online 6 November 2018Source: Annals of Pure and Applied LogicAuthor(s): Sam Sanders Recently, a number of formal systems for Nonstandard Analysis restricted to the language of finite types, i.e. nonstandard arithmetic, have been proposed. We single out one particular system by Dinis-Gaspar, which is categorised by the authors as being part of intuitionistic nonstandard arithmetic. Their system is indeed inconsistent with the Transfer axiom of Nonstandard Analysis, and the latter axiom is classical in nature as it implies (higher-order) comprehension. Inspired by this observation, the main aim of this paper is to provide answers to the following questions:(Q1)In the spirit of Reverse Mathematics, what is the minimal fragment of Transfer that is inconsistent with the Dinis-Gaspar system'(Q2)What other axioms are inconsistent with the Dinis-Gaspar system' Our answer to the first question suggests that the aforementioned inconsistency actually derives from the axiom of extensionality relative to the standard world, and that other (much stronger) consequences of Transfer are actually harmless. Perhaps surprisingly, our answer to the second question shows that the Dinis-Gaspar system is inconsistent with a number of (non-classical) continuity theorems which one would -in our opinion- categorise as intuitionistic in the sense of Brouwer. Finally, we show that the Dinis-Gaspar system involves a standard part map, suggesting this system also pushes the boundary of what still counts as ‘Nonstandard Analysis’ or ‘internal set theory’.
       
  • Acyclicity and reduction

    • Abstract: Publication date: Available online 29 October 2018Source: Annals of Pure and Applied LogicAuthor(s): Dominique Lecomte We provide, for each non-self dual Borel class Γ, a concrete finite antichain basis for the class of non-potentially Γ Borel relations whose closure has an acyclic symmetrization, considering the quasi-order of injective continuous reducibility. Along similar lines, we provide a sufficient condition for reducing the oriented graph G0 involved in the Kechris-Solecki-Todorčević dichotomy. We also prove a similar result giving a minimum set instead of an antichain if we allow rectangular reductions.
       
  • The approachability ideal without a maximal set

    • Abstract: Publication date: Available online 27 October 2018Source: Annals of Pure and Applied LogicAuthor(s): John Krueger We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously adding partial square sequences on multiple stationary sets. We show that certain quotients of such forcings have the ω1-approximation property. We apply these ideas to prove, assuming the consistency of a greatly Mahlo cardinal, that it is consistent that the approachability ideal I[ω2] does not have a maximal set modulo clubs.
       
  • Reasoning about proof and knowledge

    • Abstract: Publication date: Available online 9 October 2018Source: Annals of Pure and Applied LogicAuthor(s): Steffen Lewitzka In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.
       
  • Reverse Mathematics and parameter-free Transfer

    • Abstract: Publication date: Available online 16 October 2018Source: Annals of Pure and Applied LogicAuthor(s): Benno van den Berg, Sam Sanders Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed. In this paper, we study the Transfer axiom of Nonstandard Analysis restricted to formulas without parameters. Based on this axiom, we formulate a base theory for the Reverse Mathematics of Nonstandard Analysis and prove some natural reversals, and show that most of these equivalences do not hold in the absence of parameter-free Transfer.
       
  • Small embedding characterizations for large cardinals

    • Abstract: Publication date: Available online 15 October 2018Source: Annals of Pure and Applied LogicAuthor(s): Peter Holy, Philipp Lücke, Ana Njegomir We show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. As an application, we use such embeddings to provide new proofs of results of Christoph Weiß on the consistency strength of certain generalized tree properties. These new proofs eliminate problems contained in the original proofs provided by Weiß.
       
  • On arithmetical completeness of the logic of proofs

    • Abstract: Publication date: Available online 21 September 2018Source: Annals of Pure and Applied LogicAuthor(s): Sohei Iwata, Taishi Kurahashi In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs LP0. Moreover, we prove a version of the uniform arithmetical completeness theorem of LP0.
       
  • On Stably Pointed Varieties and Generically Stable Groups in ACVF

    • Abstract: Publication date: Available online 21 September 2018Source: Annals of Pure and Applied LogicAuthor(s): Yatir Halevi We give a geometric description of the pair (V,p), where V is an algebraic variety over a non-trivially valued algebraically closed field K with valuation ring OK and p is a Zariski dense generically stable type concentrated on V, by defining a fully faithful functor to the category of schemes over OK with residual dominant morphisms over OK.Under this functor, the pair (an algebraic group, a generically stable generic type of a subgroup) gets sent to a group scheme over OK. This returns a geometric description of the subgroup as the set of OK-points of the group scheme, generalizing a previous result in the affine case.We also study a maximum modulus principle on schemes over OK and show that the schemes obtained by this functor enjoy it.
       
  • Infinitary first-order categorical logic

    • Abstract: Publication date: Available online 10 September 2018Source: Annals of Pure and Applied LogicAuthor(s): Christian Espíndola We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by Gödel, Kripke, Beth, Karp and Joyal. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics.
       
  • On Eigenvectors, Approximations and the Feynman Propagator

    • Abstract: Publication date: Available online 6 September 2018Source: Annals of Pure and Applied LogicAuthor(s): Åsa Hirvonen, Tapani Hyttinen Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product 〈x0 Kt x1〉 of the eigenvector x0〉 of the position operator with eigenvalue x0 and Kt( x1〉), where Kt is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and straightforward calculations give the wrong value. We look at this phenomenon, and then complement this by showing how to instead correctly calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new.
       
  • AD R + Θ +is+measurable&rft.title=Annals+of+Pure+and+Applied+Logic&rft.issn=0168-0072&rft.date=&rft.volume=">Hod up to AD R + Θ is measurable

    • Abstract: Publication date: Available online 31 August 2018Source: Annals of Pure and Applied LogicAuthor(s): Rachid Atmai, Grigor Sargsyan Suppose M is a transitive class size model of ADR+“Θ is regular”. M is a minimal model of ADR+“Θ is measurable” if (i) R,Ord⊆M (ii) there is μ∈M such that M⊨“μ is a normal R-complete measure on Θ” and (iii) for any transitive class size N⊊M such that R⊆N, N⊨“there is no R-complete measure on Θ”. Continuing Trang's work in [8], we compute HOD of a minimal model of ADR+“Θ is measurable”.
       
  • 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
       
  • 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.
       
  • 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.
       
 
 
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
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-