for Journals by Title or ISSN
for Articles by Keywords
help

Publisher: Springer-Verlag (Total: 2351 journals)

 A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

        1 2 3 4 5 6 7 8 | Last   [Sort by number of followers]   [Restore default list]

Showing 1 - 200 of 2351 Journals sorted alphabetically
3D Printing in Medicine     Open Access  
3D Research     Hybrid Journal   (Followers: 21, SJR: 0.222, CiteScore: 1)
4OR: A Quarterly J. of Operations Research     Hybrid Journal   (Followers: 10, SJR: 0.825, CiteScore: 1)
AAPS J.     Hybrid Journal   (Followers: 22, SJR: 1.118, CiteScore: 4)
AAPS PharmSciTech     Hybrid Journal   (Followers: 7, SJR: 0.752, CiteScore: 3)
Abdominal Imaging     Hybrid Journal   (Followers: 14, SJR: 0.866, CiteScore: 2)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 4, SJR: 0.439, CiteScore: 0)
Academic Psychiatry     Full-text available via subscription   (Followers: 23, SJR: 0.53, CiteScore: 1)
Academic Questions     Hybrid Journal   (Followers: 8, SJR: 0.106, CiteScore: 0)
Accreditation and Quality Assurance: J. for Quality, Comparability and Reliability in Chemical Measurement     Hybrid Journal   (Followers: 26, SJR: 0.316, CiteScore: 1)
Acoustical Physics     Hybrid Journal   (Followers: 11, SJR: 0.359, CiteScore: 1)
Acoustics Australia     Hybrid Journal   (SJR: 0.232, CiteScore: 1)
Acta Analytica     Hybrid Journal   (Followers: 7, SJR: 0.367, CiteScore: 0)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1, SJR: 0.675, CiteScore: 1)
Acta Biotheoretica     Hybrid Journal   (Followers: 4, SJR: 0.284, CiteScore: 1)
Acta Diabetologica     Hybrid Journal   (Followers: 18, SJR: 1.587, CiteScore: 3)
Acta Endoscopica     Hybrid Journal   (Followers: 1)
acta ethologica     Hybrid Journal   (Followers: 4, SJR: 0.769, CiteScore: 1)
Acta Geochimica     Hybrid Journal   (Followers: 6, SJR: 0.24, CiteScore: 1)
Acta Geodaetica et Geophysica     Hybrid Journal   (Followers: 2, SJR: 0.305, CiteScore: 1)
Acta Geotechnica     Hybrid Journal   (Followers: 7, SJR: 1.588, CiteScore: 3)
Acta Informatica     Hybrid Journal   (Followers: 5, SJR: 0.517, CiteScore: 1)
Acta Mathematica     Hybrid Journal   (Followers: 12, SJR: 7.066, CiteScore: 3)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2, SJR: 0.452, CiteScore: 1)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6, SJR: 0.379, CiteScore: 1)
Acta Mathematica Vietnamica     Hybrid Journal   (SJR: 0.27, CiteScore: 0)
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal   (SJR: 0.208, CiteScore: 0)
Acta Mechanica     Hybrid Journal   (Followers: 21, SJR: 1.04, CiteScore: 2)
Acta Mechanica Sinica     Hybrid Journal   (Followers: 5, SJR: 0.607, CiteScore: 2)
Acta Metallurgica Sinica (English Letters)     Hybrid Journal   (Followers: 7, SJR: 0.576, CiteScore: 2)
Acta Meteorologica Sinica     Hybrid Journal   (Followers: 3, SJR: 0.638, CiteScore: 1)
Acta Neurochirurgica     Hybrid Journal   (Followers: 6, SJR: 0.822, CiteScore: 2)
Acta Neurologica Belgica     Hybrid Journal   (Followers: 1, SJR: 0.376, CiteScore: 1)
Acta Neuropathologica     Hybrid Journal   (Followers: 5, SJR: 7.589, CiteScore: 12)
Acta Oceanologica Sinica     Hybrid Journal   (Followers: 3, SJR: 0.334, CiteScore: 1)
Acta Parasitologica     Hybrid Journal   (Followers: 10, SJR: 0.641, CiteScore: 1)
Acta Physiologiae Plantarum     Hybrid Journal   (Followers: 2, SJR: 0.574, CiteScore: 2)
Acta Politica     Hybrid Journal   (Followers: 14, SJR: 0.605, CiteScore: 1)
Activitas Nervosa Superior     Hybrid Journal   (SJR: 0.147, CiteScore: 0)
adhäsion KLEBEN & DICHTEN     Hybrid Journal   (Followers: 7, SJR: 0.103, CiteScore: 0)
ADHD Attention Deficit and Hyperactivity Disorders     Hybrid Journal   (Followers: 23, SJR: 0.72, CiteScore: 2)
Adhesion Adhesives & Sealants     Hybrid Journal   (Followers: 9)
Administration and Policy in Mental Health and Mental Health Services Research     Partially Free   (Followers: 16, SJR: 1.005, CiteScore: 2)
Adsorption     Hybrid Journal   (Followers: 4, SJR: 0.703, CiteScore: 2)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 4, SJR: 0.698, CiteScore: 1)
Advances in Atmospheric Sciences     Hybrid Journal   (Followers: 37, SJR: 0.956, CiteScore: 2)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 19, SJR: 0.812, CiteScore: 1)
Advances in Contraception     Hybrid Journal   (Followers: 3)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 51, SJR: 1.09, CiteScore: 1)
Advances in Gerontology     Partially Free   (Followers: 8, SJR: 0.144, CiteScore: 0)
Advances in Health Sciences Education     Hybrid Journal   (Followers: 29, SJR: 1.64, CiteScore: 2)
Advances in Manufacturing     Hybrid Journal   (Followers: 3, SJR: 0.475, CiteScore: 2)
Advances in Polymer Science     Hybrid Journal   (Followers: 43, SJR: 1.04, CiteScore: 3)
Advances in Therapy     Hybrid Journal   (Followers: 5, SJR: 1.075, CiteScore: 3)
Aegean Review of the Law of the Sea and Maritime Law     Hybrid Journal   (Followers: 6)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2, SJR: 0.517, CiteScore: 1)
Aerobiologia     Hybrid Journal   (Followers: 3, SJR: 0.673, CiteScore: 2)
Aesthetic Plastic Surgery     Hybrid Journal   (Followers: 9, SJR: 0.825, CiteScore: 1)
African Archaeological Review     Hybrid Journal   (Followers: 16, SJR: 0.862, CiteScore: 1)
Afrika Matematika     Hybrid Journal   (Followers: 1, SJR: 0.235, CiteScore: 0)
AGE     Hybrid Journal   (Followers: 7)
Ageing Intl.     Hybrid Journal   (Followers: 7, SJR: 0.39, CiteScore: 1)
Aggiornamenti CIO     Hybrid Journal   (Followers: 1)
Aging Clinical and Experimental Research     Hybrid Journal   (Followers: 3, SJR: 0.67, CiteScore: 2)
Agricultural Research     Hybrid Journal   (Followers: 5, SJR: 0.276, CiteScore: 1)
Agriculture and Human Values     Hybrid Journal   (Followers: 14, SJR: 1.173, CiteScore: 3)
Agroforestry Systems     Hybrid Journal   (Followers: 19, SJR: 0.663, CiteScore: 1)
Agronomy for Sustainable Development     Hybrid Journal   (Followers: 12, SJR: 1.864, CiteScore: 6)
AI & Society     Hybrid Journal   (Followers: 8, SJR: 0.227, CiteScore: 1)
AIDS and Behavior     Hybrid Journal   (Followers: 14, SJR: 1.792, CiteScore: 3)
Air Quality, Atmosphere & Health     Hybrid Journal   (Followers: 4, SJR: 0.862, CiteScore: 3)
Akupunktur & Aurikulomedizin     Full-text available via subscription   (Followers: 1)
Algebra and Logic     Hybrid Journal   (Followers: 6, SJR: 0.531, CiteScore: 0)
Algebra Universalis     Hybrid Journal   (Followers: 2, SJR: 0.583, CiteScore: 1)
Algebras and Representation Theory     Hybrid Journal   (Followers: 1, SJR: 1.095, CiteScore: 1)
Algorithmica     Hybrid Journal   (Followers: 9, SJR: 0.56, CiteScore: 1)
Allergo J.     Full-text available via subscription   (Followers: 1, SJR: 0.234, CiteScore: 0)
Allergo J. Intl.     Hybrid Journal   (Followers: 2)
Alpine Botany     Hybrid Journal   (Followers: 5, SJR: 1.11, CiteScore: 3)
ALTEX : Alternatives to Animal Experimentation     Open Access   (Followers: 3)
AMBIO     Hybrid Journal   (Followers: 10, SJR: 1.569, CiteScore: 4)
American J. of Cardiovascular Drugs     Hybrid Journal   (Followers: 16, SJR: 0.951, CiteScore: 3)
American J. of Community Psychology     Hybrid Journal   (Followers: 28, SJR: 1.329, CiteScore: 2)
American J. of Criminal Justice     Hybrid Journal   (Followers: 8, SJR: 0.772, CiteScore: 1)
American J. of Cultural Sociology     Hybrid Journal   (Followers: 16, SJR: 0.46, CiteScore: 1)
American J. of Dance Therapy     Hybrid Journal   (Followers: 4, SJR: 0.181, CiteScore: 0)
American J. of Potato Research     Hybrid Journal   (Followers: 2, SJR: 0.611, CiteScore: 1)
American J. of Psychoanalysis     Hybrid Journal   (Followers: 21, SJR: 0.314, CiteScore: 0)
American Sociologist     Hybrid Journal   (Followers: 12, SJR: 0.35, CiteScore: 0)
Amino Acids     Hybrid Journal   (Followers: 8, SJR: 1.135, CiteScore: 3)
AMS Review     Partially Free   (Followers: 4)
Analog Integrated Circuits and Signal Processing     Hybrid Journal   (Followers: 7, SJR: 0.211, CiteScore: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 5, SJR: 0.536, CiteScore: 1)
Analysis in Theory and Applications     Hybrid Journal   (Followers: 1)
Analysis of Verbal Behavior     Hybrid Journal   (Followers: 5)
Analytical and Bioanalytical Chemistry     Hybrid Journal   (Followers: 32, SJR: 0.978, CiteScore: 3)
Anatomical Science Intl.     Hybrid Journal   (Followers: 2, SJR: 0.367, CiteScore: 1)
Angewandte Schmerztherapie und Palliativmedizin     Hybrid Journal  
Angiogenesis     Hybrid Journal   (Followers: 3, SJR: 2.177, CiteScore: 5)
Animal Cognition     Hybrid Journal   (Followers: 19, SJR: 1.389, CiteScore: 3)
Annales françaises de médecine d'urgence     Hybrid Journal   (Followers: 1, SJR: 0.192, CiteScore: 0)
Annales Henri Poincaré     Hybrid Journal   (Followers: 3, SJR: 1.097, CiteScore: 2)
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4, SJR: 0.438, CiteScore: 0)
Annali dell'Universita di Ferrara     Hybrid Journal   (SJR: 0.429, CiteScore: 0)
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1, SJR: 1.197, CiteScore: 1)
Annals of Biomedical Engineering     Hybrid Journal   (Followers: 18, SJR: 1.042, CiteScore: 3)
Annals of Combinatorics     Hybrid Journal   (Followers: 4, SJR: 0.932, CiteScore: 1)
Annals of Data Science     Hybrid Journal   (Followers: 12)
Annals of Dyslexia     Hybrid Journal   (Followers: 10, SJR: 0.85, CiteScore: 2)
Annals of Finance     Hybrid Journal   (Followers: 30, SJR: 0.579, CiteScore: 1)
Annals of Forest Science     Hybrid Journal   (Followers: 7, SJR: 0.986, CiteScore: 2)
Annals of Global Analysis and Geometry     Hybrid Journal   (Followers: 1, SJR: 1.228, CiteScore: 1)
Annals of Hematology     Hybrid Journal   (Followers: 15, SJR: 1.043, CiteScore: 2)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 12, SJR: 0.413, CiteScore: 1)
Annals of Microbiology     Hybrid Journal   (Followers: 10, SJR: 0.479, CiteScore: 2)
Annals of Nuclear Medicine     Hybrid Journal   (Followers: 4, SJR: 0.687, CiteScore: 2)
Annals of Operations Research     Hybrid Journal   (Followers: 10, SJR: 0.943, CiteScore: 2)
Annals of Ophthalmology     Hybrid Journal   (Followers: 11)
Annals of Regional Science     Hybrid Journal   (Followers: 7, SJR: 0.614, CiteScore: 1)
Annals of Software Engineering     Hybrid Journal   (Followers: 13)
Annals of Solid and Structural Mechanics     Hybrid Journal   (Followers: 9, SJR: 0.239, CiteScore: 1)
Annals of Surgical Oncology     Hybrid Journal   (Followers: 13, SJR: 1.986, CiteScore: 4)
Annals of Telecommunications     Hybrid Journal   (Followers: 9, SJR: 0.223, CiteScore: 1)
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1, SJR: 1.495, CiteScore: 1)
Antonie van Leeuwenhoek     Hybrid Journal   (Followers: 5, SJR: 0.834, CiteScore: 2)
Apidologie     Hybrid Journal   (Followers: 4, SJR: 1.22, CiteScore: 3)
APOPTOSIS     Hybrid Journal   (Followers: 8, SJR: 1.424, CiteScore: 4)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2, SJR: 0.294, CiteScore: 1)
Applications of Mathematics     Hybrid Journal   (Followers: 2, SJR: 0.602, CiteScore: 1)
Applied Biochemistry and Biotechnology     Hybrid Journal   (Followers: 43, SJR: 0.571, CiteScore: 2)
Applied Biochemistry and Microbiology     Hybrid Journal   (Followers: 17, SJR: 0.21, CiteScore: 1)
Applied Cancer Research     Open Access  
Applied Categorical Structures     Hybrid Journal   (Followers: 2, SJR: 0.49, CiteScore: 0)
Applied Composite Materials     Hybrid Journal   (Followers: 49, SJR: 0.58, CiteScore: 2)
Applied Entomology and Zoology     Partially Free   (Followers: 3, SJR: 0.422, CiteScore: 1)
Applied Geomatics     Hybrid Journal   (Followers: 3, SJR: 0.733, CiteScore: 3)
Applied Geophysics     Hybrid Journal   (Followers: 8, SJR: 0.488, CiteScore: 1)
Applied Intelligence     Hybrid Journal   (Followers: 12, SJR: 0.6, CiteScore: 2)
Applied Magnetic Resonance     Hybrid Journal   (Followers: 4, SJR: 0.319, CiteScore: 1)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 6, SJR: 0.886, CiteScore: 1)
Applied Mathematics - A J. of Chinese Universities     Hybrid Journal   (SJR: 0.17, CiteScore: 0)
Applied Mathematics and Mechanics     Hybrid Journal   (Followers: 5, SJR: 0.461, CiteScore: 1)
Applied Microbiology and Biotechnology     Hybrid Journal   (Followers: 63, SJR: 1.182, CiteScore: 4)
Applied Physics A     Hybrid Journal   (Followers: 9, SJR: 0.481, CiteScore: 2)
Applied Physics B: Lasers and Optics     Hybrid Journal   (Followers: 24, SJR: 0.74, CiteScore: 2)
Applied Psychophysiology and Biofeedback     Hybrid Journal   (Followers: 8, SJR: 0.519, CiteScore: 2)
Applied Research in Quality of Life     Hybrid Journal   (Followers: 12, SJR: 0.316, CiteScore: 1)
Applied Solar Energy     Hybrid Journal   (Followers: 18, SJR: 0.225, CiteScore: 0)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 5, SJR: 0.542, CiteScore: 1)
Aquaculture Intl.     Hybrid Journal   (Followers: 23, SJR: 0.591, CiteScore: 2)
Aquarium Sciences and Conservation     Hybrid Journal   (Followers: 1)
Aquatic Ecology     Hybrid Journal   (Followers: 33, SJR: 0.656, CiteScore: 2)
Aquatic Geochemistry     Hybrid Journal   (Followers: 4, SJR: 0.591, CiteScore: 1)
Aquatic Sciences     Hybrid Journal   (Followers: 13, SJR: 1.109, CiteScore: 3)
Arabian J. for Science and Engineering     Hybrid Journal   (Followers: 5, SJR: 0.303, CiteScore: 1)
Arabian J. of Geosciences     Hybrid Journal   (Followers: 2, SJR: 0.319, CiteScore: 1)
Archaeological and Anthropological Sciences     Hybrid Journal   (Followers: 20, SJR: 1.052, CiteScore: 2)
Archaeologies     Hybrid Journal   (Followers: 12, SJR: 0.224, CiteScore: 0)
Archiv der Mathematik     Hybrid Journal   (Followers: 1, SJR: 0.725, CiteScore: 1)
Archival Science     Hybrid Journal   (Followers: 60, SJR: 0.745, CiteScore: 2)
Archive for History of Exact Sciences     Hybrid Journal   (Followers: 8, SJR: 0.186, CiteScore: 1)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 2, SJR: 0.909, CiteScore: 1)
Archive for Rational Mechanics and Analysis     Hybrid Journal   (SJR: 3.93, CiteScore: 3)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5, SJR: 0.79, CiteScore: 2)
Archives and Museum Informatics     Hybrid Journal   (Followers: 142, SJR: 0.101, CiteScore: 0)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5, SJR: 1.41, CiteScore: 5)
Archives of Dermatological Research     Hybrid Journal   (Followers: 7, SJR: 1.006, CiteScore: 2)
Archives of Environmental Contamination and Toxicology     Hybrid Journal   (Followers: 14, SJR: 0.773, CiteScore: 2)
Archives of Gynecology and Obstetrics     Hybrid Journal   (Followers: 16, SJR: 0.956, CiteScore: 2)
Archives of Microbiology     Hybrid Journal   (Followers: 8, SJR: 0.644, CiteScore: 2)
Archives of Orthopaedic and Trauma Surgery     Hybrid Journal   (Followers: 8, SJR: 1.146, CiteScore: 2)
Archives of Osteoporosis     Hybrid Journal   (Followers: 2, SJR: 0.71, CiteScore: 2)
Archives of Sexual Behavior     Hybrid Journal   (Followers: 10, SJR: 1.493, CiteScore: 3)
Archives of Toxicology     Hybrid Journal   (Followers: 17, SJR: 1.541, CiteScore: 5)
Archives of Virology     Hybrid Journal   (Followers: 5, SJR: 0.973, CiteScore: 2)
Archives of Women's Mental Health     Hybrid Journal   (Followers: 14, SJR: 1.274, CiteScore: 3)
Archivio di Ortopedia e Reumatologia     Hybrid Journal  
Archivum Immunologiae et Therapiae Experimentalis     Hybrid Journal   (Followers: 2, SJR: 0.946, CiteScore: 3)
ArgoSpine News & J.     Hybrid Journal  
Argumentation     Hybrid Journal   (Followers: 5, SJR: 0.349, CiteScore: 1)
Arid Ecosystems     Hybrid Journal   (Followers: 2, SJR: 0.2, CiteScore: 0)
Arkiv för Matematik     Hybrid Journal   (Followers: 1, SJR: 0.766, CiteScore: 1)
Arnold Mathematical J.     Hybrid Journal   (Followers: 1, SJR: 0.355, CiteScore: 0)
Arthropod-Plant Interactions     Hybrid Journal   (Followers: 2, SJR: 0.839, CiteScore: 2)
Arthroskopie     Hybrid Journal   (Followers: 1, SJR: 0.131, CiteScore: 0)
Artificial Intelligence and Law     Hybrid Journal   (Followers: 11, SJR: 0.937, CiteScore: 2)
Artificial Intelligence Review     Hybrid Journal   (Followers: 14, SJR: 0.833, CiteScore: 4)
Artificial Life and Robotics     Hybrid Journal   (Followers: 9, SJR: 0.226, CiteScore: 0)
Asia Europe J.     Hybrid Journal   (Followers: 5, SJR: 0.504, CiteScore: 1)
Asia Pacific Education Review     Hybrid Journal   (Followers: 12, SJR: 0.479, CiteScore: 1)
Asia Pacific J. of Management     Hybrid Journal   (Followers: 16, SJR: 1.185, CiteScore: 2)
Asia-Pacific Education Researcher     Hybrid Journal   (Followers: 12, SJR: 0.353, CiteScore: 1)
Asia-Pacific Financial Markets     Hybrid Journal   (Followers: 2, SJR: 0.187, CiteScore: 0)
Asia-Pacific J. of Atmospheric Sciences     Hybrid Journal   (Followers: 19, SJR: 0.855, CiteScore: 1)
Asian Business & Management     Hybrid Journal   (Followers: 9, SJR: 0.378, CiteScore: 1)
Asian J. of Business Ethics     Hybrid Journal   (Followers: 9)
Asian J. of Criminology     Hybrid Journal   (Followers: 5, SJR: 0.543, CiteScore: 1)
AStA Advances in Statistical Analysis     Hybrid Journal   (Followers: 3, SJR: 0.548, CiteScore: 1)
AStA Wirtschafts- und Sozialstatistisches Archiv     Hybrid Journal   (Followers: 5, SJR: 0.183, CiteScore: 0)
ästhetische dermatologie & kosmetologie     Full-text available via subscription  

        1 2 3 4 5 6 7 8 | Last   [Sort by number of followers]   [Restore default list]

Journal Cover
Archive for Mathematical Logic
Journal Prestige (SJR): 0.909
Citation Impact (citeScore): 1
Number of Followers: 2  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1432-0665 - ISSN (Online) 0933-5846
Published by Springer-Verlag Homepage  [2351 journals]
  • Some remarks on Baire’s grand theorem
    • Authors: Riccardo Camerlo; Jacques Duparc
      Pages: 195 - 201
      Abstract: We provide a game theoretical proof of the fact that if f is a function from a zero-dimensional Polish space to \( \mathbb N^{\mathbb N}\) that has a point of continuity when restricted to any non-empty compact subset, then f is of Baire class 1. We use this property of the restrictions to compact sets to give a generalisation of Baire’s grand theorem for functions of any Baire class.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0563-6
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • l -Groups C ( X ) in continuous logic
    • Authors: Philip Scowcroft
      Pages: 239 - 272
      Abstract: In the context of continuous logic, this paper axiomatizes both the class \(\mathcal {C}\) of lattice-ordered groups isomorphic to C(X) for X compact and the subclass \(\mathcal {C}^+\) of structures existentially closed in \(\mathcal {C}\) ; shows that the theory of \(\mathcal {C}^+\) is \(\aleph _0\) -categorical and admits elimination of quantifiers; establishes a Nullstellensatz for \(\mathcal {C}\) and \(\mathcal {C}^+\) ; shows that \(C(X)\in \mathcal {C}\) has a prime-model extension in \(\mathcal {C}^+\) just in case X is Boolean; and proves that in a sense relevant to continuous logic, positive formulas admit in \(\mathcal {C}^+\) elimination of quantifiers to positive formulas.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0566-3
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • The subcompleteness of Magidor forcing
    • Authors: Gunter Fuchs
      Pages: 273 - 284
      Abstract: It is shown that the Magidor forcing to collapse the cofinality of a measurable cardinal that carries a length \(\omega _1\) sequence of normal ultrafilters, increasing in the Mitchell order, to \(\omega _1\) , is subcomplete.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0568-1
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Countable OD sets of reals belong to the ground model
    • Authors: Vladimir Kanovei; Vassily Lyubetsky
      Pages: 285 - 298
      Abstract: It is true in the Cohen, Solovay-random, dominaning, and Sacks generic extension, that every countable ordinal-definable set of reals belongs to the ground universe. It is true in the Solovay collapse model that every non-empty OD countable set of sets of reals consists of \(\text {OD}\) elements.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0569-0
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Quasiminimal abstract elementary classes
    • Authors: Sebastien Vasey
      Pages: 299 - 315
      Abstract: We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable Löwenheim–Skolem–Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: any quasiminimal pregeometry class induces a quasiminimal AEC (this was known), and for any quasiminimal AEC there is a natural functorial expansion that induces a quasiminimal pregeometry class. We show in particular that the exchange axiom is redundant in Zilber’s definition of a quasiminimal pregeometry class.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0570-7
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • On Katětov and Katětov–Blass orders on analytic P-ideals
           and Borel ideals
    • Authors: Hiroshi Sakai
      Pages: 317 - 327
      Abstract: Minami–Sakai (Arch Math Logic 55(7–8):883–898, 2016) investigated the cofinal types of the Katětov and the Katětov–Blass orders on the family of all \(F_\sigma \) ideals. In this paper we discuss these orders on analytic P-ideals and Borel ideals. We prove the following: The family of all analytic P-ideals has the largest element with respect to the Katětov and the Katětov–Blass orders. The family of all Borel ideals is countably upward directed with respect to the Katětov and the Katětov–Blass orders. In the course of the proof of the latter result, we also prove that for any analytic ideal \(\mathcal {I}\) there is a Borel ideal \(\mathcal {J}\) with \(\mathcal {I} \subseteq \mathcal {J}\) .
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0572-5
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Continuous reducibility and dimension of metric spaces
    • Authors: Philipp Schlicht
      Pages: 329 - 359
      Abstract: If (X, d) is a Polish metric space of dimension 0, then by Wadge’s lemma, no more than two Borel subsets of X are incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space (X, d) of positive dimension, there are uncountably many Borel subsets of (X, d) that are pairwise incomparable with respect to continuous reducibility. In general, the reducibility that is given by the collection of continuous functions on a topological space \((X,\tau )\) is called the Wadge quasi-order for \((X,\tau )\) . As an application of the main result, we show that this quasi-order, restricted to the Borel subsets of a Polish space \((X,\tau )\) , is a well-quasiorder if and only if \((X,\tau )\) has dimension 0. Moreover, we give further examples of applications of the construction of graph colorings that is used in the proofs.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0571-6
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Expressivity in chain-based modal logics
    • Authors: Michel Marti; George Metcalfe
      Pages: 361 - 380
      Abstract: We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct. Necessary and sufficient algebraic conditions for admitting a suitable Hennessy–Milner property are established for classes of image-finite and (appropriately defined) modally saturated models. Full characterizations are obtained for many-valued modal logics based on complete BL-chains that are finite or have the real unit interval [0, 1] as a lattice reduct, including Łukasiewicz, Gödel, and product modal logics.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0573-4
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • A weak variant of Hindman’s Theorem stronger than Hilbert’s
           Theorem
    • Authors: Lorenzo Carlucci
      Pages: 381 - 389
      Abstract: Hirst investigated a natural restriction of Hindman’s Finite Sums Theorem—called Hilbert’s Theorem—and proved it equivalent over \(\mathbf {RCA}_0\) to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman’s Theorem provably much weaker than Hindman’s Theorem itself. We here introduce another natural restriction of Hindman’s Theorem—which we name the Adjacent Hindman’s Theorem with apartness—and prove it to be provable from Ramsey’s Theorem for pairs and strictly stronger than Hirst’s Hilbert’s Theorem. The lower bound is obtained by a direct combinatorial implication from the Adjacent Hindman’s Theorem with apartness to the Increasing Polarized Ramsey’s Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman’s Theorem homogeneity is required only for finite sums of adjacent elements.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0576-1
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Implicational (semilinear) logics III: completeness properties
    • Authors: Petr Cintula; Carles Noguera
      Pages: 391 - 420
      Abstract: This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010; Arch Math Logic 53(3):353–372, 2016).
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0577-0
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Maximal trees
    • Authors: Jörg Brendle
      Pages: 421 - 428
      Abstract: We show that, consistently, there can be maximal subtrees of \(\mathcal{P}(\omega )\) and \(\mathcal{P}(\omega ) / {\mathrm {fin}}\) of arbitrary regular uncountable size below the size of the continuum \({\mathfrak c}\) . We also show that there are no maximal subtrees of \(\mathcal{P}(\omega ) / {\mathrm {fin}}\) with countable levels. Our results answer several questions of Campero-Arena et al. (Fund Math 234:73–89, 2016).
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0575-2
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Decidability of the AE-theory of the lattice of $${\varPi }_1^0$$ Π 1 0
           classes
    • Authors: Linda Lawton
      Pages: 429 - 451
      Abstract: An AE-sentence is a sentence in prenex normal form with all universal quantifiers preceding all existential quantifiers, and the AE-theory of a structure is the set of all AE-sentences true in the structure. We show that the AE-theory of \((\mathscr {L}({\varPi }_1^0), \cap , \cup , 0, 1)\) is decidable by giving a procedure which, for any AE-sentence in the language, determines the truth or falsity of the sentence in our structure.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0564-5
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • Scott sentences for certain groups
    • Authors: Julia F. Knight; Vikram Saraph
      Pages: 453 - 472
      Abstract: We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of finite rank. For both kinds of groups, the computable ones all have computable \(\varSigma _3\) Scott sentences. Sometimes we can do better. In fact, the computable finitely generated groups that we have studied all have Scott sentences that are “computable d- \(\varSigma _2\) ” (the conjunction of a computable \(\varSigma _2\) sentence and a computable \(\varPi _2\) sentence). In [9], this was shown for the finitely generated free groups. Here we show it for all finitely generated abelian groups, and for the infinite dihedral group. Among the computable torsion-free abelian groups of finite rank, we focus on those of rank 1. These are exactly the additive subgroups of \(\mathbb {Q}\) . We show that for some of these groups, the computable \(\varSigma _3\) Scott sentence is best possible, while for others, there is a computable d- \(\varSigma _2\) Scott sentence.
      PubDate: 2018-05-01
      DOI: 10.1007/s00153-017-0578-z
      Issue No: Vol. 57, No. 3-4 (2018)
       
  • A model of the generic Vopěnka principle in which the ordinals are
           not Mahlo
    • Authors: Victoria Gitman; Joel David Hamkins
      Abstract: The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is relatively consistent with the existence of a \(\Delta _2\) -definable class containing no regular cardinals. In such a model, there can be no \(\Sigma _2\) -reflecting cardinals and hence also no remarkable cardinals. This latter fact answers negatively a question of Bagaria, Gitman and Schindler.
      PubDate: 2018-05-14
      DOI: 10.1007/s00153-018-0632-5
       
  • Selfextensional logics with a distributive nearlattice term
    • Authors: Luciano J. González
      Abstract: We define when a ternary term m of an algebraic language \(\mathcal {L}\) is called a distributive nearlattice term ( \(\mathrm {DN}\) -term) of a sentential logic \(\mathcal {S}\) . Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a \(\mathrm {DN}\) -term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras (under the point of view of Algebraic Logic) associated with a selfextensional logic with a \(\mathrm {DN}\) -term is a variety, and we obtain that the logic is in fact fully selfextensional.
      PubDate: 2018-05-11
      DOI: 10.1007/s00153-018-0628-1
       
  • A completeness theorem for continuous predicate modal logic
    • Authors: Stefano Baratella
      Abstract: We study a modal extension of the Continuous First-Order Logic of Ben Yaacov and Pedersen (J Symb Logic 75(1):168–190, 2010). We provide a set of axioms for such an extension. Deduction rules are just Modus Ponens and Necessitation. We prove that our system is sound with respect to a Kripke semantics and, building on Ben Yaacov and Pedersen  (2010), that it satisfies a number of properties similar to those of first-order predicate logic. Then, by means of a canonical model construction, we get that every consistent set of formulas is satisfiable. From the latter result we derive an Approximated Strong Completeness Theorem, in the vein of Continuous Logic, and a Compactness Theorem.
      PubDate: 2018-05-10
      DOI: 10.1007/s00153-018-0630-7
       
  • The binary expansion and the intermediate value theorem in constructive
           reverse mathematics
    • Authors: Josef Berger; Hajime Ishihara; Takayuki Kihara; Takako Nemoto
      Abstract: We introduce the notion of a convex tree. We show that the binary expansion for real numbers in the unit interval ( \(\mathrm {BE}\) ) is equivalent to weak König lemma ( \(\mathrm {WKL}\) ) for trees having at most two nodes at each level, and we prove that the intermediate value theorem is equivalent to \(\mathrm {WKL}\) for convex trees, in the framework of constructive reverse mathematics.
      PubDate: 2018-05-10
      DOI: 10.1007/s00153-018-0627-2
       
  • Uniform interpolation and sequent calculi in modal logic
    • Authors: Rosalie Iemhoff
      Abstract: A method is presented that connects the existence of uniform interpolants to the existence of certain sequent calculi. This method is applied to several modal logics and is shown to cover known results from the literature, such as the existence of uniform interpolants for the modal logic \(\mathsf{K}\) . New is the result that \(\mathsf{KD}\) has uniform interpolation. The results imply that for modal logics \(\mathsf{K4}\) and \(\mathsf{S4}\) , which are known not to have uniform interpolation, certain sequent calculi cannot exist.
      PubDate: 2018-05-10
      DOI: 10.1007/s00153-018-0629-0
       
  • An extension of Shelah’s trichotomy theorem
    • Authors: Shehzad Ahmed
      Abstract: Shelah (Algorithms Comb 14:420–459, 1997) develops the theory of \(\mathrm {pcf}_I(A)\) without the assumption that \( A <\min (A)\) , going so far as to get generators for every \(\lambda \in \mathrm {pcf}_I(A)\) under some assumptions on I. Our main theorem is that we can also generalize Shelah’s trichotomy theorem to the same setting. Using this, we present a different proof of the existence of generators for \(\mathrm {pcf}_I(A)\) which is more in line with the modern exposition. Finally, we discuss some obstacles to further generalizing the classical theory.
      PubDate: 2018-05-09
      DOI: 10.1007/s00153-018-0631-6
       
  • Sequent calculus for classical logic probabilized
    • Authors: Marija Boričić
      Abstract: Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized in the sequent calculus, we introduce the notion of ’probabilized sequent’ \(\Gamma \vdash _a^b\Delta \) with the intended meaning that “the probability of truthfulness of \(\Gamma \vdash \Delta \) belongs to the interval [a, b]”. This method makes it possible to define a system of derivations based on ’axioms’ of the form \(\Gamma _i\vdash _{a_i}^{b_i}\Delta _i\) , obtained as a result of empirical research, and then infer conclusions of the form \(\Gamma \vdash _a^b\Delta \) . We discuss the consistency, define the models, and prove the soundness and completeness for the defined probabilized sequent calculus.
      PubDate: 2018-05-07
      DOI: 10.1007/s00153-018-0626-3
       
 
 
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.196.31.117
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-