for Journals by Title or ISSN
for Articles by Keywords

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 Research     Hybrid Journal   (Followers: 19, SJR: 0.214, h-index: 10)
4OR: A Quarterly J. of Operations Research     Hybrid Journal   (Followers: 10, SJR: 1.073, h-index: 25)
AAPS J.     Hybrid Journal   (Followers: 22, SJR: 1.192, h-index: 74)
AAPS PharmSciTech     Hybrid Journal   (Followers: 7, SJR: 0.718, h-index: 54)
Abdominal Imaging     Hybrid Journal   (Followers: 14, SJR: 0.723, h-index: 60)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 3, SJR: 0.447, h-index: 12)
Academic Psychiatry     Full-text available via subscription   (Followers: 23, SJR: 0.492, h-index: 32)
Academic Questions     Hybrid Journal   (Followers: 8, SJR: 0.135, h-index: 6)
Accreditation and Quality Assurance: J. for Quality, Comparability and Reliability in Chemical Measurement     Hybrid Journal   (Followers: 26, SJR: 0.378, h-index: 30)
Acoustical Physics     Hybrid Journal   (Followers: 11, SJR: 0.355, h-index: 20)
Acoustics Australia     Hybrid Journal  
Acta Analytica     Hybrid Journal   (Followers: 7, SJR: 0.387, h-index: 6)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1, SJR: 0.624, h-index: 34)
Acta Biotheoretica     Hybrid Journal   (Followers: 4, SJR: 0.419, h-index: 25)
Acta Diabetologica     Hybrid Journal   (Followers: 16, SJR: 1.318, h-index: 46)
Acta Endoscopica     Hybrid Journal   (Followers: 1, SJR: 0.113, h-index: 8)
acta ethologica     Hybrid Journal   (Followers: 4, SJR: 0.465, h-index: 23)
Acta Geochimica     Hybrid Journal   (Followers: 7)
Acta Geodaetica et Geophysica     Hybrid Journal   (Followers: 2, SJR: 0.294, h-index: 13)
Acta Geotechnica     Hybrid Journal   (Followers: 7, SJR: 1.818, h-index: 22)
Acta Informatica     Hybrid Journal   (Followers: 5, SJR: 0.524, h-index: 32)
Acta Mathematica     Hybrid Journal   (Followers: 11, SJR: 8.021, h-index: 47)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2, SJR: 0.53, h-index: 29)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6, SJR: 0.406, h-index: 30)
Acta Mathematica Vietnamica     Hybrid Journal   (SJR: 0.451, h-index: 5)
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal   (SJR: 0.22, h-index: 20)
Acta Mechanica     Hybrid Journal   (Followers: 20, SJR: 0.898, h-index: 52)
Acta Mechanica Sinica     Hybrid Journal   (Followers: 5, SJR: 0.426, h-index: 29)
Acta Metallurgica Sinica (English Letters)     Hybrid Journal   (Followers: 6, SJR: 0.525, h-index: 18)
Acta Meteorologica Sinica     Hybrid Journal   (Followers: 3, SJR: 0.524, h-index: 14)
Acta Neurochirurgica     Hybrid Journal   (Followers: 6, SJR: 0.833, h-index: 73)
Acta Neurologica Belgica     Hybrid Journal   (Followers: 1, SJR: 0.348, h-index: 27)
Acta Neuropathologica     Hybrid Journal   (Followers: 5, SJR: 6.61, h-index: 117)
Acta Oceanologica Sinica     Hybrid Journal   (Followers: 3, SJR: 0.295, h-index: 17)
Acta Parasitologica     Hybrid Journal   (Followers: 10, SJR: 0.581, h-index: 28)
Acta Physiologiae Plantarum     Hybrid Journal   (Followers: 2, SJR: 0.551, h-index: 39)
Acta Politica     Hybrid Journal   (Followers: 13, SJR: 0.658, h-index: 20)
Activitas Nervosa Superior     Hybrid Journal  
adhäsion KLEBEN & DICHTEN     Hybrid Journal   (Followers: 5, SJR: 0.103, h-index: 4)
ADHD Attention Deficit and Hyperactivity Disorders     Hybrid Journal   (Followers: 23, SJR: 0.871, h-index: 15)
Adhesion Adhesives & Sealants     Hybrid Journal   (Followers: 8)
Administration and Policy in Mental Health and Mental Health Services Research     Partially Free   (Followers: 15, SJR: 0.795, h-index: 40)
Adsorption     Hybrid Journal   (Followers: 4, SJR: 0.774, h-index: 52)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 3, SJR: 0.319, h-index: 15)
Advances in Atmospheric Sciences     Hybrid Journal   (Followers: 37, SJR: 0.959, h-index: 44)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 18, SJR: 1.255, h-index: 44)
Advances in Contraception     Hybrid Journal   (Followers: 3)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 54, SJR: 1.113, h-index: 14)
Advances in Gerontology     Partially Free   (Followers: 8, SJR: 0.141, h-index: 3)
Advances in Health Sciences Education     Hybrid Journal   (Followers: 25, SJR: 1.397, h-index: 42)
Advances in Manufacturing     Hybrid Journal   (Followers: 3, SJR: 0.2, h-index: 4)
Advances in Polymer Science     Hybrid Journal   (Followers: 43, SJR: 0.637, h-index: 89)
Advances in Therapy     Hybrid Journal   (Followers: 5, SJR: 0.79, h-index: 44)
Aegean Review of the Law of the Sea and Maritime Law     Hybrid Journal   (Followers: 7)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2, SJR: 0.882, h-index: 23)
Aerobiologia     Hybrid Journal   (Followers: 2, SJR: 0.511, h-index: 36)
Aesthetic Plastic Surgery     Hybrid Journal   (Followers: 9, SJR: 0.821, h-index: 49)
African Archaeological Review     Hybrid Journal   (Followers: 16, SJR: 0.612, h-index: 24)
Afrika Matematika     Hybrid Journal   (Followers: 1, SJR: 0.248, h-index: 6)
AGE     Hybrid Journal   (Followers: 7, SJR: 1.358, h-index: 33)
Ageing Intl.     Hybrid Journal   (Followers: 7, SJR: 0.337, h-index: 10)
Aggiornamenti CIO     Hybrid Journal   (Followers: 1)
Aging Clinical and Experimental Research     Hybrid Journal   (Followers: 2, SJR: 0.529, h-index: 55)
Agricultural Research     Hybrid Journal   (Followers: 4)
Agriculture and Human Values     Hybrid Journal   (Followers: 14, SJR: 1.197, h-index: 49)
Agroforestry Systems     Hybrid Journal   (Followers: 19, SJR: 0.64, h-index: 56)
Agronomy for Sustainable Development     Hybrid Journal   (Followers: 11, SJR: 1.732, h-index: 59)
AI & Society     Hybrid Journal   (Followers: 6, SJR: 0.171, h-index: 19)
AIDS and Behavior     Hybrid Journal   (Followers: 13, SJR: 2.006, h-index: 71)
Air Quality, Atmosphere & Health     Hybrid Journal   (Followers: 4, SJR: 0.706, h-index: 19)
Akupunktur & Aurikulomedizin     Full-text available via subscription   (Followers: 1)
Algebra and Logic     Hybrid Journal   (Followers: 4, SJR: 0.566, h-index: 18)
Algebra Universalis     Hybrid Journal   (Followers: 2, SJR: 0.388, h-index: 22)
Algebras and Representation Theory     Hybrid Journal   (Followers: 1, SJR: 0.868, h-index: 20)
Algorithmica     Hybrid Journal   (Followers: 8, SJR: 0.898, h-index: 56)
Allergo J.     Full-text available via subscription   (Followers: 1, SJR: 0.183, h-index: 20)
Allergo J. Intl.     Hybrid Journal   (Followers: 2)
Alpine Botany     Hybrid Journal   (Followers: 5, SJR: 0.729, h-index: 20)
ALTEX : Alternatives to Animal Experimentation     Open Access   (Followers: 3, SJR: 1.392, h-index: 32)
AMBIO     Hybrid Journal   (Followers: 15, SJR: 1.094, h-index: 87)
American J. of Cardiovascular Drugs     Hybrid Journal   (Followers: 16, SJR: 0.864, h-index: 39)
American J. of Community Psychology     Hybrid Journal   (Followers: 26, SJR: 1.237, h-index: 83)
American J. of Criminal Justice     Hybrid Journal   (Followers: 8, SJR: 0.634, h-index: 13)
American J. of Cultural Sociology     Hybrid Journal   (Followers: 15, SJR: 0.283, h-index: 3)
American J. of Dance Therapy     Hybrid Journal   (Followers: 4, SJR: 0.175, h-index: 13)
American J. of Potato Research     Hybrid Journal   (Followers: 3, SJR: 0.558, h-index: 35)
American J. of Psychoanalysis     Hybrid Journal   (Followers: 22, SJR: 0.293, h-index: 13)
American Sociologist     Hybrid Journal   (Followers: 14, SJR: 0.18, h-index: 13)
Amino Acids     Hybrid Journal   (Followers: 8, SJR: 1.362, h-index: 83)
AMS Review     Partially Free   (Followers: 4)
Analog Integrated Circuits and Signal Processing     Hybrid Journal   (Followers: 7, SJR: 0.21, h-index: 37)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 4, SJR: 0.665, h-index: 7)
Analysis in Theory and Applications     Hybrid Journal   (Followers: 1)
Analysis of Verbal Behavior     Hybrid Journal   (Followers: 5)
Analytical and Bioanalytical Chemistry     Hybrid Journal   (Followers: 31, SJR: 1.096, h-index: 123)
Anatomical Science Intl.     Hybrid Journal   (Followers: 2, SJR: 0.301, h-index: 26)
Angewandte Schmerztherapie und Palliativmedizin     Hybrid Journal  
Angiogenesis     Hybrid Journal   (Followers: 3, SJR: 2.212, h-index: 69)
Animal Cognition     Hybrid Journal   (Followers: 17, SJR: 1.122, h-index: 55)
Annales françaises de médecine d'urgence     Hybrid Journal   (Followers: 1, SJR: 0.156, h-index: 4)
Annales Henri Poincaré     Hybrid Journal   (Followers: 3, SJR: 1.377, h-index: 32)
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annali dell'Universita di Ferrara     Hybrid Journal   (SJR: 0.504, h-index: 14)
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1, SJR: 1.167, h-index: 26)
Annals of Behavioral Medicine     Hybrid Journal   (Followers: 14, SJR: 2.112, h-index: 98)
Annals of Biomedical Engineering     Hybrid Journal   (Followers: 18, SJR: 1.182, h-index: 94)
Annals of Combinatorics     Hybrid Journal   (Followers: 3, SJR: 0.849, h-index: 15)
Annals of Data Science     Hybrid Journal   (Followers: 11)
Annals of Dyslexia     Hybrid Journal   (Followers: 10, SJR: 0.857, h-index: 40)
Annals of Finance     Hybrid Journal   (Followers: 28, SJR: 0.686, h-index: 14)
Annals of Forest Science     Hybrid Journal   (Followers: 6, SJR: 0.929, h-index: 57)
Annals of Global Analysis and Geometry     Hybrid Journal   (Followers: 1, SJR: 1.136, h-index: 23)
Annals of Hematology     Hybrid Journal   (Followers: 16, SJR: 1.117, h-index: 62)
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 12, SJR: 0.593, h-index: 42)
Annals of Microbiology     Hybrid Journal   (Followers: 10, SJR: 0.402, h-index: 26)
Annals of Nuclear Medicine     Hybrid Journal   (Followers: 4, SJR: 0.68, h-index: 45)
Annals of Operations Research     Hybrid Journal   (Followers: 10, SJR: 1.186, h-index: 78)
Annals of Ophthalmology     Hybrid Journal   (Followers: 12)
Annals of Regional Science     Hybrid Journal   (Followers: 8, SJR: 0.405, h-index: 42)
Annals of Software Engineering     Hybrid Journal   (Followers: 13)
Annals of Solid and Structural Mechanics     Hybrid Journal   (Followers: 10, SJR: 0.553, h-index: 8)
Annals of Surgical Oncology     Hybrid Journal   (Followers: 14, SJR: 1.902, h-index: 127)
Annals of Telecommunications     Hybrid Journal   (Followers: 8, SJR: 0.315, h-index: 25)
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1, SJR: 0.931, h-index: 31)
Antonie van Leeuwenhoek     Hybrid Journal   (Followers: 5, SJR: 0.992, h-index: 87)
Apidologie     Hybrid Journal   (Followers: 4, SJR: 1.14, h-index: 57)
APOPTOSIS     Hybrid Journal   (Followers: 8, SJR: 1.554, h-index: 87)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2, SJR: 0.354, h-index: 27)
Applications of Mathematics     Hybrid Journal   (Followers: 1, SJR: 0.274, h-index: 20)
Applied Biochemistry and Biotechnology     Hybrid Journal   (Followers: 42, SJR: 0.575, h-index: 80)
Applied Biochemistry and Microbiology     Hybrid Journal   (Followers: 16, SJR: 0.267, h-index: 26)
Applied Cancer Research     Open Access  
Applied Categorical Structures     Hybrid Journal   (Followers: 2, SJR: 0.361, h-index: 21)
Applied Composite Materials     Hybrid Journal   (Followers: 48, SJR: 0.705, h-index: 35)
Applied Entomology and Zoology     Partially Free   (Followers: 3, SJR: 0.554, h-index: 34)
Applied Geomatics     Hybrid Journal   (Followers: 4, SJR: 0.323, h-index: 9)
Applied Geophysics     Hybrid Journal   (Followers: 8, SJR: 0.541, h-index: 13)
Applied Intelligence     Hybrid Journal   (Followers: 11, SJR: 0.777, h-index: 43)
Applied Magnetic Resonance     Hybrid Journal   (Followers: 4, SJR: 0.358, h-index: 34)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 6, SJR: 0.955, h-index: 33)
Applied Mathematics - A J. of Chinese Universities     Hybrid Journal   (SJR: 0.275, h-index: 8)
Applied Mathematics and Mechanics     Hybrid Journal   (Followers: 5, SJR: 0.37, h-index: 26)
Applied Microbiology and Biotechnology     Hybrid Journal   (Followers: 62, SJR: 1.262, h-index: 161)
Applied Physics A     Hybrid Journal   (Followers: 8, SJR: 0.535, h-index: 121)
Applied Physics B: Lasers and Optics     Hybrid Journal   (Followers: 24, SJR: 0.983, h-index: 104)
Applied Psychophysiology and Biofeedback     Hybrid Journal   (Followers: 8, SJR: 0.677, h-index: 47)
Applied Research in Quality of Life     Hybrid Journal   (Followers: 11, SJR: 0.288, h-index: 15)
Applied Solar Energy     Hybrid Journal   (Followers: 18, SJR: 0.251, h-index: 6)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 5, SJR: 0.351, h-index: 9)
Aquaculture Intl.     Hybrid Journal   (Followers: 22, SJR: 0.613, h-index: 40)
Aquarium Sciences and Conservation     Hybrid Journal   (Followers: 1)
Aquatic Ecology     Hybrid Journal   (Followers: 32, SJR: 0.646, h-index: 44)
Aquatic Geochemistry     Hybrid Journal   (Followers: 4, SJR: 0.764, h-index: 39)
Aquatic Sciences     Hybrid Journal   (Followers: 13, SJR: 1.172, h-index: 53)
Arabian J. for Science and Engineering     Hybrid Journal   (Followers: 5, SJR: 0.345, h-index: 20)
Arabian J. of Geosciences     Hybrid Journal   (Followers: 1, SJR: 0.417, h-index: 16)
Archaeological and Anthropological Sciences     Hybrid Journal   (Followers: 23, SJR: 1.056, h-index: 15)
Archaeologies     Hybrid Journal   (Followers: 12, SJR: 0.397, h-index: 13)
Archiv der Mathematik     Hybrid Journal   (Followers: 1, SJR: 0.597, h-index: 29)
Archival Science     Hybrid Journal   (Followers: 56, SJR: 0.804, h-index: 22)
Archive for History of Exact Sciences     Hybrid Journal   (Followers: 8, SJR: 0.28, h-index: 15)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 1, SJR: 0.946, h-index: 23)
Archive for Rational Mechanics and Analysis     Hybrid Journal   (SJR: 4.091, h-index: 66)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5, SJR: 0.865, h-index: 40)
Archives and Museum Informatics     Hybrid Journal   (Followers: 143)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 5, SJR: 2.841, h-index: 40)
Archives of Dermatological Research     Hybrid Journal   (Followers: 7, SJR: 0.9, h-index: 65)
Archives of Environmental Contamination and Toxicology     Hybrid Journal   (Followers: 13, SJR: 0.846, h-index: 84)
Archives of Gynecology and Obstetrics     Hybrid Journal   (Followers: 16, SJR: 0.695, h-index: 47)
Archives of Microbiology     Hybrid Journal   (Followers: 8, SJR: 0.702, h-index: 85)
Archives of Orthopaedic and Trauma Surgery     Hybrid Journal   (Followers: 8, SJR: 1.039, h-index: 56)
Archives of Osteoporosis     Hybrid Journal   (Followers: 2, SJR: 1.092, h-index: 13)
Archives of Sexual Behavior     Hybrid Journal   (Followers: 10, SJR: 1.198, h-index: 74)
Archives of Toxicology     Hybrid Journal   (Followers: 17, SJR: 1.595, h-index: 76)
Archives of Virology     Hybrid Journal   (Followers: 5, SJR: 1.086, h-index: 90)
Archives of Women's Mental Health     Hybrid Journal   (Followers: 14, SJR: 1.264, h-index: 50)
Archivio di Ortopedia e Reumatologia     Hybrid Journal  
Archivum Immunologiae et Therapiae Experimentalis     Hybrid Journal   (Followers: 2, SJR: 1.2, h-index: 42)
ArgoSpine News & J.     Hybrid Journal   (SJR: 0.102, h-index: 3)
Argumentation     Hybrid Journal   (Followers: 5, SJR: 0.295, h-index: 18)
Arid Ecosystems     Hybrid Journal   (Followers: 3)
Arkiv för Matematik     Hybrid Journal   (Followers: 1, SJR: 0.948, h-index: 22)
Arnold Mathematical J.     Hybrid Journal   (Followers: 1)
Arthropod-Plant Interactions     Hybrid Journal   (Followers: 2, SJR: 0.797, h-index: 17)
Arthroskopie     Hybrid Journal   (Followers: 1, SJR: 0.145, h-index: 8)
Artificial Intelligence and Law     Hybrid Journal   (Followers: 11, SJR: 0.288, h-index: 25)
Artificial Intelligence Review     Hybrid Journal   (Followers: 14, SJR: 0.948, h-index: 48)
Artificial Life and Robotics     Hybrid Journal   (Followers: 8, SJR: 0.231, h-index: 14)
Asia Europe J.     Hybrid Journal   (Followers: 5, SJR: 0.247, h-index: 9)
Asia Pacific Education Review     Hybrid Journal   (Followers: 12, SJR: 0.371, h-index: 17)
Asia Pacific J. of Management     Hybrid Journal   (Followers: 16, SJR: 1.676, h-index: 50)
Asia-Pacific Education Researcher     Hybrid Journal   (Followers: 12, SJR: 0.353, h-index: 13)
Asia-Pacific Financial Markets     Hybrid Journal   (Followers: 2, SJR: 0.19, h-index: 15)
Asia-Pacific J. of Atmospheric Sciences     Hybrid Journal   (Followers: 20, SJR: 1.006, h-index: 14)
Asian Business & Management     Hybrid Journal   (Followers: 8, SJR: 0.41, h-index: 10)
Asian J. of Business Ethics     Hybrid Journal   (Followers: 8)
Asian J. of Criminology     Hybrid Journal   (Followers: 5, SJR: 0.263, h-index: 8)
AStA Advances in Statistical Analysis     Hybrid Journal   (Followers: 2, SJR: 0.681, h-index: 15)
AStA Wirtschafts- und Sozialstatistisches Archiv     Hybrid Journal   (Followers: 5, SJR: 0.195, h-index: 5)
ä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
  [SJR: 0.946]   [H-I: 23]   [1 followers]  Follow
   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]
  • The tree property at the successor of a singular limit of measurable
    • Authors: Mohammad Golshani
      Pages: 3 - 25
      Abstract: Assume \(\lambda \) is a singular limit of \(\eta \) supercompact cardinals, where \(\eta \le \lambda \) is a limit ordinal. We present two methods for arranging the tree property to hold at \(\lambda ^{+}\) while making \(\lambda ^{+}\) the successor of the limit of the first \(\eta \) measurable cardinals. The first method is then used to get, from the same assumptions, the tree property at \(\aleph _{\eta ^2+1}\) with the failure of SCH at \(\aleph _{\eta ^2}\) . This extends results of Neeman and Sinapova. The second method is also used to get the tree property at the successor of an arbitrary singular cardinal, which extends some results of Magidor–Shelah, Neeman and Sinapova.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0581-4
      Issue No: Vol. 57, No. 1-2 (2018)
  • On a question of Silver about gap-two cardinal transfer principles
    • Authors: Mohammad Golshani; Shahram Mohsenipour
      Pages: 27 - 35
      Abstract: Assuming the existence of a Mahlo cardinal, we produce a generic extension of Gödel’s constructible universe L, in which the \(\textit{GCH}\) holds and the transfer principles \((\aleph _2, \aleph _0) \rightarrow (\aleph _3, \aleph _1)\) and \((\aleph _3, \aleph _1) \rightarrow (\aleph _2, \aleph _0)\) fail simultaneously. The result answers a question of Silver from 1971. We also extend our result to higher gaps.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0586-z
      Issue No: Vol. 57, No. 1-2 (2018)
  • On some dynamical aspects of NIP theories
    • Authors: Alireza Mofidi
      Pages: 37 - 71
      Abstract: We investigate some dynamical features of the actions of automorphisms in the context of model theory. We interpret a few notions such as compact systems, entropy and symbolic representations from the theory of dynamical systems in the realm of model theory. In this direction, we settle a number of characterizations of NIP theories in terms of dynamics of automorphisms and invariant measures. For example, it is shown that the property of NIP corresponds to the compactness property of some associated systems and also to the zero entropy property of automorphisms. These results give a correspondence between some notions of tameness in model theory and ergodic theory. Moreover, we study the concept of symbolic representation and consider it in some well known mathematical objects such as the circle group, Bohr sets, Sturmian sequences, the structure \((\mathbb {Z},+,U)\) , and random graphs with a model theoretic point of view in mind. We establish certain characterizations for stability theoretic dividing lines, such as independence property, order property and strict order property in terms of associated symbolic representations. At the end, we propose some applications of symbolic representations and these characterizations by giving a proof for a classical theorem by Shelah and also introducing some invariants associated to the types and elements of models.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0580-5
      Issue No: Vol. 57, No. 1-2 (2018)
  • The long extender algebra
    • Authors: Ralf Schindler
      Pages: 73 - 82
      Abstract: Generalizing Woodin’s extender algebra, cf. e.g. Steel (in: Kanamori (ed) Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský (Fundam Math 83:35–46, 1973), in the presence of a supercompact cardinal.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0585-0
      Issue No: Vol. 57, No. 1-2 (2018)
  • Aronszajn and Kurepa trees
    • Authors: James Cummings
      Pages: 83 - 90
      Abstract: Monroe Eskew (Tree properties on \(\omega _1\) and \(\omega _2\) , 2016. asked whether the tree property at \(\omega _2\) implies there is no Kurepa tree (as is the case in the Mitchell model, or under PFA). We prove that the tree property at \(\omega _2\) is consistent with the existence of \(\omega _1\) -trees with as many branches as desired.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0579-y
      Issue No: Vol. 57, No. 1-2 (2018)
  • Largest initial segments pointwise fixed by automorphisms of models of set
    • Authors: Ali Enayat; Matt Kaufmann; Zachiri McKenzie
      Pages: 91 - 139
      Abstract: Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\) , let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\) ). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\) , where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\) , and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\) - \(\mathrm {Collection}\) . The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\) - \(\mathrm { Collection}\) . Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\) : (a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\) - \(\mathrm {Collection}\) . (b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\) -
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0582-3
      Issue No: Vol. 57, No. 1-2 (2018)
  • The small index property for homogeneous models in AEC’s
    • Authors: Zaniar Ghadernezhad; Andrés Villaveces
      Pages: 141 - 157
      Abstract: We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated models of uncountable first-order theories). We then study versions of the small index property for various non-elementary classes. In particular, we obtain the small index property for quasiminimal pregeometry structures.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0587-y
      Issue No: Vol. 57, No. 1-2 (2018)
  • Model theory of finite and pseudofinite groups
    • Authors: Dugald Macpherson
      Pages: 159 - 184
      Abstract: This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first-order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0584-1
      Issue No: Vol. 57, No. 1-2 (2018)
  • Collapsing $$\omega _2$$ ω 2 with semi-proper forcing
    • Authors: Stevo Todorcevic
      Pages: 185 - 194
      Abstract: We examine the differences between three standard classes of forcing notions relative to the way they collapse the continuum. It turns out that proper and semi-proper posets behave differently in that respect from the class of posets that preserve stationary subsets of \(\omega _1\) .
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-017-0588-x
      Issue No: Vol. 57, No. 1-2 (2018)
  • Convexity and unique minimum points
    • Authors: Josef Berger; Gregor Svindland
      Abstract: We show constructively that every quasi-convex, uniformly continuous function \(f:C \rightarrow \mathbb {R}\) with at most one minimum point has a minimum point, where C is a convex compact subset of a finite dimensional normed space. Applications include a result on strictly quasi-convex functions, a supporting hyperplane theorem, and a short proof of the constructive fundamental theorem of approximation theory.
      PubDate: 2018-02-22
      DOI: 10.1007/s00153-018-0619-2
  • Diagonal reflections on squares
    • Authors: Gunter Fuchs
      Abstract: The effects of (bounded versions of) the forcing axioms \(\mathsf {SCFA}\) , \(\mathsf {PFA}\) and \(\mathsf {MM}\) on the failure of weak threaded square principles of the form \(\square (\lambda ,\kappa )\) are analyzed. To this end, a diagonal reflection principle, \(\mathsf {DSR}{\left( {<}\kappa ,S\right) }\) is introduced. It is shown that \(\mathsf {SCFA} \) implies \(\mathsf {DSR}{\left( \omega _1,S^\lambda _\omega \right) }\) , for all regular \(\lambda \ge \omega _2\) , and that \(\mathsf {DSR}{\left( \omega _1,S^\lambda _\omega \right) }\) implies the failure of \(\square (\lambda ,\omega _1)\) if \(\lambda >\omega _2\) , and it implies the failure of \(\square (\lambda ,\omega )\) if \(\lambda =\omega _2\) . It is also shown that this result is sharp. It is noted that \(\mathsf {MM}\) / \(\mathsf {PFA}\) imply the failure of \(\square (\lambda ,\omega _1)\) , for every regular \(\lambda >\omega _1\) , and that this result is sharp as well.
      PubDate: 2018-02-19
      DOI: 10.1007/s00153-018-0614-7
  • On partial disjunction properties of theories containing Peano arithmetic
    • Authors: Taishi Kurahashi
      Abstract: Let \(\varGamma \) be a class of formulas. We say that a theory T in classical logic has the \(\varGamma \) -disjunction property if for any \(\varGamma \) sentences \(\varphi \) and \(\psi \) , either \(T \vdash \varphi \) or \(T \vdash \psi \) whenever \(T \vdash \varphi \vee \psi \) . First, we characterize the \(\varGamma \) -disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \(\varSigma _n\) -disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we investigate unprovability of formalized partial disjunction properties.
      PubDate: 2018-02-14
      DOI: 10.1007/s00153-018-0618-3
  • A collection of topological Ramsey spaces of trees and their application
           to profinite graph theory
    • Authors: Yuan Yuan Zheng
      Abstract: We construct a collection of new topological Ramsey spaces of trees. It is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. We give an example of its application by proving a partition theorem for profinite graphs.
      PubDate: 2018-02-10
      DOI: 10.1007/s00153-018-0617-4
  • Splitting idempotents in a fibered setting
    • Authors: Ruggero Pagnan
      Abstract: By splitting idempotent morphisms in the total and base categories of fibrations we provide an explicit elementary description of the Cauchy completion of objects in the categories Fib( \(\mathbb {B}\) ) of fibrations with a fixed base category \(\mathbb {B}\) and Fib of fibrations with any base category. Two universal constructions are at issue, corresponding to two fibered reflections involving the fibration of fibrations \(\mathbf{Fib}\rightarrow \mathbf{Cat}\) .
      PubDate: 2018-02-06
      DOI: 10.1007/s00153-018-0616-5
  • Stationary sets added when forcing squares
    • Authors: Maxwell Levine
      Abstract: Current research in set theory raises the possibility that \(\square _{\kappa ,<\lambda }\) can be made compatible with some stationary reflection, depending on the parameter \(\lambda \) . The purpose of this paper is to demonstrate the difficulty in such results. We prove that the poset \({\mathbb {S}}(\kappa ,<\lambda )\) , which adds a \(\square _{\kappa ,<\lambda }\) -sequence by initial segments, will also add non-reflecting stationary sets concentrating in any given cofinality below \(\kappa \) . We also investigate the CMB poset, which adds \(\square _\kappa ^*\) in a slightly different way. We prove that the CMB poset also adds non-reflecting stationary sets, but not necessarily concentrating in any cofinality.
      PubDate: 2018-02-02
      DOI: 10.1007/s00153-018-0613-8
  • Hanf number for Scott sentences of computable structures
    • Authors: S. S. Goncharov; J. F. Knight; I. Souldatos
      Abstract: The Hanf number for a set S of sentences in \(\mathcal {L}_{\omega _1,\omega }\) (or some other logic) is the least infinite cardinal \(\kappa \) such that for all \(\varphi \in S\) , if \(\varphi \) has models in all infinite cardinalities less than \(\kappa \) , then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \(\beth _{\omega _1^{CK}}\) . The same argument proves that \(\beth _{\omega _1^{CK}}\) is the Hanf number for Scott sentences of hyperarithmetical structures.
      PubDate: 2018-02-01
      DOI: 10.1007/s00153-018-0615-6
  • Generic variations and NTP $$_1$$ 1
    • Authors: Jan Dobrowolski
      Abstract: We prove a preservation theorem for NTP \(_1\) in the context of the generic variations construction. We also prove that NTP \(_1\) is preserved under adding to a geometric theory a generic predicate.
      PubDate: 2018-01-27
      DOI: 10.1007/s00153-018-0609-4
  • Consistency of the intensional level of the Minimalist Foundation with
           Church’s thesis and axiom of choice
    • Authors: Hajime Ishihara; Maria Emilia Maietti; Samuele Maschio; Thomas Streicher
      Abstract: Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin (in Crosilla, Schuster (eds) From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short MF, completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called \(\mathbf{MLtt}_1\) , where mTT can be easily interpreted. Then to show the consistency of \(\mathbf{MLtt}_1\) with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints \(\widehat{ID_1}\) by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment \(\mathbf{MLtt}_1\) we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors (hence without the so called \(\xi \) -rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of \(\mathbf{MLtt}_1\) correctly. In particular the universe of \(\mathbf{MLtt}_1\) is modelled by means of \(\widehat{ID_1}\) -fixpoints following a technique due first to Aczel and used by Feferman and Beeson.
      PubDate: 2018-01-27
      DOI: 10.1007/s00153-018-0612-9
  • Closure properties of parametric subcompleteness
    • Authors: Gunter Fuchs
      Abstract: For an ordinal \(\varepsilon \) , I introduce a variant of the notion of subcompleteness of a forcing poset, which I call \(\varepsilon \) -subcompleteness, and show that this class of forcings enjoys some closure properties that the original class of subcomplete forcings does not seem to have: factors of \(\varepsilon \) -subcomplete forcings are \(\varepsilon \) -subcomplete, and if \(\mathbb {P}\) and \(\mathbb {Q}\) are forcing-equivalent notions, then \(\mathbb {P}\) is \(\varepsilon \) -subcomplete iff \(\mathbb {Q}\) is. I formulate a Two Step Theorem for \(\varepsilon \) -subcompleteness and prove an RCS iteration theorem for \(\varepsilon \) -subcompleteness which is slightly less restrictive than the original one, in that its formulation is more careful about the amount of collapsing necessary. Finally, I show that an adequate degree of \(\varepsilon \) -subcompleteness follows from the \(\kappa \) -distributivity of a forcing, for \(\kappa >\omega _1\) .
      PubDate: 2018-01-17
      DOI: 10.1007/s00153-018-0611-x
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327
Home (Search)
Subjects A-Z
Publishers A-Z
Your IP address:
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-