for Journals by Title or ISSN
for Articles by Keywords

Publisher: Springer-Verlag (Total: 2574 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 2574 Journals sorted alphabetically
3D Printing in Medicine     Open Access   (Followers: 4)
3D Research     Hybrid Journal   (Followers: 21, SJR: 0.222, CiteScore: 1)
4OR: A Quarterly J. of Operations Research     Hybrid Journal   (Followers: 11, SJR: 0.825, CiteScore: 1)
AAPS J.     Hybrid Journal   (Followers: 29, SJR: 1.118, CiteScore: 4)
AAPS PharmSciTech     Hybrid Journal   (Followers: 8, SJR: 0.752, CiteScore: 3)
Abdominal Radiology     Hybrid Journal   (Followers: 18, 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: 30, SJR: 0.53, CiteScore: 1)
Academic Questions     Hybrid Journal   (Followers: 9, SJR: 0.106, CiteScore: 0)
Accreditation and Quality Assurance: J. for Quality, Comparability and Reliability in Chemical Measurement     Hybrid Journal   (Followers: 31, SJR: 0.316, CiteScore: 1)
Acoustical Physics     Hybrid Journal   (Followers: 11, SJR: 0.359, CiteScore: 1)
Acoustics Australia     Hybrid Journal   (Followers: 1, 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: 19, 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: 7, SJR: 0.24, CiteScore: 1)
Acta Geodaetica et Geophysica     Hybrid Journal   (Followers: 3, SJR: 0.305, CiteScore: 1)
Acta Geophysica     Hybrid Journal   (Followers: 11, SJR: 0.312, 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: 25, 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: 7, SJR: 0.822, CiteScore: 2)
Acta Neurologica Belgica     Hybrid Journal   (Followers: 2, SJR: 0.376, CiteScore: 1)
Acta Neuropathologica     Hybrid Journal   (Followers: 4, SJR: 7.589, CiteScore: 12)
Acta Oceanologica Sinica     Hybrid Journal   (Followers: 3, SJR: 0.334, CiteScore: 1)
Acta Physiologiae Plantarum     Hybrid Journal   (Followers: 4, SJR: 0.574, CiteScore: 2)
Acta Politica     Hybrid Journal   (Followers: 19, SJR: 0.605, CiteScore: 1)
Activitas Nervosa Superior     Hybrid Journal   (SJR: 0.147, CiteScore: 0)
Adaptive Human Behavior and Physiology     Hybrid Journal  
adhäsion KLEBEN & DICHTEN     Hybrid Journal   (Followers: 8, SJR: 0.103, CiteScore: 0)
ADHD Attention Deficit and Hyperactivity Disorders     Hybrid Journal   (Followers: 28, 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: 19, SJR: 1.005, CiteScore: 2)
Adolescent Research Review     Hybrid Journal  
Adsorption     Hybrid Journal   (Followers: 5, SJR: 0.703, CiteScore: 2)
Advanced Composites and Hybrid Materials     Hybrid Journal  
Advanced Fiber Materials     Full-text available via subscription  
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 4, SJR: 0.698, CiteScore: 1)
Advances in Astronautics Science and Technology     Hybrid Journal  
Advances in Atmospheric Sciences     Hybrid Journal   (Followers: 40, SJR: 0.956, CiteScore: 2)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 21, SJR: 0.812, CiteScore: 1)
Advances in Contraception     Hybrid Journal   (Followers: 3)
Advances in Data Analysis and Classification     Hybrid Journal   (Followers: 58, 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: 35, SJR: 1.64, CiteScore: 2)
Advances in Manufacturing     Hybrid Journal   (Followers: 3, SJR: 0.475, CiteScore: 2)
Advances in Neurodevelopmental Disorders     Hybrid Journal  
Advances in Polymer Science     Hybrid Journal   (Followers: 49, 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: 7)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2, SJR: 0.517, CiteScore: 1)
Aerobiologia     Hybrid Journal   (Followers: 3, SJR: 0.673, CiteScore: 2)
Aerosol Science and Engineering     Hybrid Journal  
Aerospace Systems     Hybrid Journal  
Aerotecnica Missili & Spazio : J. of Aerospace Science, Technologies & Systems     Hybrid Journal  
Aesthetic Plastic Surgery     Hybrid Journal   (Followers: 11, SJR: 0.825, CiteScore: 1)
African Archaeological Review     Hybrid Journal   (Followers: 21, SJR: 0.862, CiteScore: 1)
Afrika Matematika     Hybrid Journal   (Followers: 1, SJR: 0.235, CiteScore: 0)
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: 6, SJR: 0.276, CiteScore: 1)
Agriculture and Human Values     Open Access   (Followers: 15, SJR: 1.173, CiteScore: 3)
Agroforestry Systems     Open Access   (Followers: 20, SJR: 0.663, CiteScore: 1)
Agronomy for Sustainable Development     Open Access   (Followers: 15, SJR: 1.864, CiteScore: 6)
AI & Society     Hybrid Journal   (Followers: 9, SJR: 0.227, CiteScore: 1)
AIDS and Behavior     Hybrid Journal   (Followers: 16, 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: 7, 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: 2)
AMBIO     Hybrid Journal   (Followers: 10, SJR: 1.569, CiteScore: 4)
American J. of Cardiovascular Drugs     Hybrid Journal   (Followers: 17, SJR: 0.951, CiteScore: 3)
American J. of Community Psychology     Hybrid Journal   (Followers: 29, SJR: 1.329, CiteScore: 2)
American J. of Criminal Justice     Hybrid Journal   (Followers: 9, SJR: 0.772, CiteScore: 1)
American J. of Cultural Sociology     Hybrid Journal   (Followers: 18, SJR: 0.46, CiteScore: 1)
American J. of Dance Therapy     Hybrid Journal   (Followers: 6, SJR: 0.181, CiteScore: 0)
American J. of Potato Research     Hybrid Journal   (Followers: 3, SJR: 0.611, CiteScore: 1)
American J. of Psychoanalysis     Hybrid Journal   (Followers: 22, SJR: 0.314, CiteScore: 0)
American Sociologist     Hybrid Journal   (Followers: 16, SJR: 0.35, CiteScore: 0)
Amino Acids     Hybrid Journal   (Followers: 7, SJR: 1.135, CiteScore: 3)
AMS Review     Partially Free   (Followers: 4)
Analog Integrated Circuits and Signal Processing     Hybrid Journal   (Followers: 10, SJR: 0.211, CiteScore: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 6, SJR: 0.536, CiteScore: 1)
Analysis in Theory and Applications     Hybrid Journal   (Followers: 1)
Analysis of Verbal Behavior     Hybrid Journal   (Followers: 6)
Analytical and Bioanalytical Chemistry     Hybrid Journal   (Followers: 32, SJR: 0.978, CiteScore: 3)
Anatomical Science Intl.     Hybrid Journal   (Followers: 3, 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: 23, 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: 19, SJR: 1.042, CiteScore: 3)
Annals of Combinatorics     Hybrid Journal   (Followers: 4, SJR: 0.932, CiteScore: 1)
Annals of Data Science     Hybrid Journal   (Followers: 13)
Annals of Dyslexia     Hybrid Journal   (Followers: 10, SJR: 0.85, CiteScore: 2)
Annals of Finance     Hybrid Journal   (Followers: 35, 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: 11, SJR: 0.479, CiteScore: 2)
Annals of Nuclear Medicine     Hybrid Journal   (Followers: 5, SJR: 0.687, CiteScore: 2)
Annals of Operations Research     Hybrid Journal   (Followers: 11, SJR: 0.943, CiteScore: 2)
Annals of Ophthalmology     Hybrid Journal   (Followers: 13)
Annals of PDE     Hybrid Journal  
Annals of Regional Science     Hybrid Journal   (Followers: 9, SJR: 0.614, CiteScore: 1)
Annals of Software Engineering     Hybrid Journal   (Followers: 13)
Annals of Solid and Structural Mechanics     Hybrid Journal   (Followers: 11, SJR: 0.239, CiteScore: 1)
Annals of Surgical Oncology     Hybrid Journal   (Followers: 15, 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: 9, 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: 3, SJR: 0.602, CiteScore: 1)
Applied Biochemistry and Biotechnology     Hybrid Journal   (Followers: 44, SJR: 0.571, CiteScore: 2)
Applied Biochemistry and Microbiology     Hybrid Journal   (Followers: 18, SJR: 0.21, CiteScore: 1)
Applied Categorical Structures     Hybrid Journal   (Followers: 4, SJR: 0.49, CiteScore: 0)
Applied Composite Materials     Hybrid Journal   (Followers: 53, SJR: 0.58, CiteScore: 2)
Applied Entomology and Zoology     Partially Free   (Followers: 7, SJR: 0.422, CiteScore: 1)
Applied Geomatics     Hybrid Journal   (Followers: 3, SJR: 0.733, CiteScore: 3)
Applied Geophysics     Hybrid Journal   (Followers: 9, SJR: 0.488, CiteScore: 1)
Applied Intelligence     Hybrid Journal   (Followers: 15, SJR: 0.6, CiteScore: 2)
Applied Magnetic Resonance     Hybrid Journal   (Followers: 4, SJR: 0.319, CiteScore: 1)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 10, SJR: 0.886, CiteScore: 1)
Applied Mathematics - A J. of Chinese Universities     Hybrid Journal   (Followers: 1, 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: 67, SJR: 1.182, CiteScore: 4)
Applied Physics A     Hybrid Journal   (Followers: 10, SJR: 0.481, CiteScore: 2)
Applied Physics B: Lasers and Optics     Hybrid Journal   (Followers: 26, 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: 22, SJR: 0.225, CiteScore: 0)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 6, SJR: 0.542, CiteScore: 1)
Aquaculture Intl.     Hybrid Journal   (Followers: 26, SJR: 0.591, CiteScore: 2)
Aquarium Sciences and Conservation     Hybrid Journal   (Followers: 2)
Aquatic Ecology     Hybrid Journal   (Followers: 37, SJR: 0.656, CiteScore: 2)
Aquatic Geochemistry     Hybrid Journal   (Followers: 3, SJR: 0.591, CiteScore: 1)
Aquatic Sciences     Hybrid Journal   (Followers: 14, 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: 22, 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: 68, SJR: 0.745, CiteScore: 2)
Archive for History of Exact Sciences     Hybrid Journal   (Followers: 7, SJR: 0.186, CiteScore: 1)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 3, 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: 6, SJR: 0.79, CiteScore: 2)
Archives and Museum Informatics     Hybrid Journal   (Followers: 169, SJR: 0.101, CiteScore: 0)
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 6, 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: 18, SJR: 0.956, CiteScore: 2)
Archives of Microbiology     Hybrid Journal   (Followers: 9, SJR: 0.644, CiteScore: 2)
Archives of Orthopaedic and Trauma Surgery     Hybrid Journal   (Followers: 9, SJR: 1.146, CiteScore: 2)
Archives of Osteoporosis     Hybrid Journal   (Followers: 2, SJR: 0.71, CiteScore: 2)
Archives of Sexual Behavior     Hybrid Journal   (Followers: 11, SJR: 1.493, CiteScore: 3)
Archives of Toxicology     Hybrid Journal   (Followers: 18, 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: 17, 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: 6, SJR: 0.349, CiteScore: 1)
Arid Ecosystems     Hybrid Journal   (Followers: 3, SJR: 0.2, CiteScore: 0)
Arkiv för Matematik     Hybrid Journal   (Followers: 1, SJR: 0.766, CiteScore: 1)
arktos : The J. of Arctic Geosciences     Hybrid Journal  
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: 12, SJR: 0.937, CiteScore: 2)
Artificial Intelligence Review     Hybrid Journal   (Followers: 21, SJR: 0.833, CiteScore: 4)
Artificial Life and Robotics     Hybrid Journal   (Followers: 10, SJR: 0.226, CiteScore: 0)
Asia Europe J.     Hybrid Journal   (Followers: 4, 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: 17, SJR: 1.185, CiteScore: 2)

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

Similar Journals
Journal Cover
Archive for Mathematical Logic
Journal Prestige (SJR): 0.909
Citation Impact (citeScore): 1
Number of Followers: 3  
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 1432-0665 - ISSN (Online) 0933-5846
Published by Springer-Verlag Homepage  [2574 journals]
  • Construction with opposition: cardinal invariants and games
    • Abstract: We consider several game versions of the cardinal invariants \({\mathfrak {t}}\) , \({\mathfrak {u}}\) and \({\mathfrak {a}}\) . We show that the standard proof that parametrized diamond principles prove that the cardinal invariants are small actually shows that their game counterparts are small. On the other hand we show that \({\mathfrak {t}}<{\mathfrak {t}}_{Builder}\) and \({\mathfrak {u}}<{\mathfrak {u}}_{Builder}\) are both relatively consistent with ZFC, where \({\mathfrak {t}}_{Builder}\) and \({\mathfrak {u}}_{Builder}\) are the principal game versions of \({\mathfrak {t}}\) and \({\mathfrak {u}}\) , respectively. The corresponding question for \({\mathfrak {a}}\) remains open.
      PubDate: 2019-03-22
  • Continuous triangular norm based fuzzy topology
    • Abstract: For each continuous t-norm &, a class of fuzzy topological spaces, called &-topological spaces, is introduced. The motivation stems from the idea that to each many-valued logic there may correspond a theory of many-valued topology, in particular, each continuous t-norm may lead to a theory of fuzzy topology. It is shown that for each continuous t-norm &, the subcategory consisting of &-topological spaces is simultaneously reflective and coreflective in the category of fuzzy topological spaces, hence gives rise to an autonomous theory of fuzzy topology. Topologizing a fuzzy pre-ordered set with the fuzzy Scott topology yields a functor from the category of fuzzy pre-ordered sets and maps that preserve suprema of flat ideals to the category of &-topological spaces. It is proved that this functor is a full one if and only if the t-norm & is Archimedean.
      PubDate: 2019-03-16
  • Ideals of independence
    • Abstract: We study two ideals which are naturally associated to independent families. The first of them, denoted \(\mathcal {J}_\mathcal {A}\) , is characterized by a diagonalization property which allows along a cofinal sequence (the order type of which of uncountable cofinality) of stages along a finite support iteration to adjoin a maximal independent family. The second ideal, denoted \(\mathrm {id}(\mathcal {A})\) , originates in Shelah’s proof of \(\mathfrak {i}<\mathfrak {u}\) in Shelah (Arch Math Log 31(6), 433–443, 1992). We show that for every independent family \(\mathcal {A}\) , \(\mathrm {id}(\mathcal {A})\subseteq \mathcal {J}_\mathcal {A}\) and define a class of maximal independent families, to which we refer as densely maximal, for which the two ideals coincide. Building upon the techniques of Shelah (1992) we characterize Sacks indestructibility for such families in terms of properties of \(\mathrm {id}(\mathcal {A})\) and devise a countably closed poset which adjoins a Sacks indestructible densely maximal independent family.
      PubDate: 2019-03-15
  • Complete and atomic Tarski algebras
    • Abstract: Tarski algebras, also known as implication algebras or semi-boolean algebras, are the \(\left\{ \rightarrow \right\} \) -subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove a duality between the complete and atomic Tarski algebras and the class of covering Tarski sets, i.e., structures \(\left<X,{\mathcal {K}}\right>\) , where X is a non-empty set and \({\mathcal {K}}\) is non-empty family of subsets of X such that \(\bigcup {\mathcal {K}}=X\) . This duality is a generalization of the known duality between sets and complete and atomic Boolean algebras. We shall also analize the case of complete and atomic Tarski algebras endowed with a complete modal operator, and we will prove a duality for these algebras.
      PubDate: 2019-03-02
  • Chainable and circularly chainable semicomputable sets in computable
           topological spaces
    • Abstract: We examine conditions under which, in a computable topological space, a semicomputable set is computable. It is known that in a computable metric space a semicomputable set S is computable if S is a continuum chainable from a to b, where a and b are computable points, or S is a circularly chainable continuum which is not chainable. We prove that this result holds in any computable topological space.
      PubDate: 2019-03-01
  • The strong tree property and the failure of SCH
    • Abstract: Fontanella (J Symb Logic 79(1):193–207, 2014) showed that if \(\langle \kappa _n:n<\omega \rangle \) is an increasing sequence of supercompacts and \(\nu =\sup _n\kappa _n\) , then the strong tree property holds at \(\nu ^+\) . Building on a proof by Neeman (J Math Log 9:139–157, 2010), we show that the strong tree property at \(\kappa ^+\) is consistent with \(\lnot SCH_\kappa \) , where \(\kappa \) is singular strong limit of countable cofinality.
      PubDate: 2019-02-25
  • The spectrum of independence
    • Abstract: We study the set of possible sizes of maximal independent families to which we refer as spectrum of independence and denote \(\hbox {Spec}(mif)\) . Here mif abbreviates maximal independent family. We show that: whenever \(\kappa _1<\cdots <\kappa _n\) are finitely many regular uncountable cardinals, it is consistent that \(\{\kappa _i\}_{i=1}^n\subseteq \hbox {Spec}(mif)\) ; whenever \(\kappa \) has uncountable cofinality, it is consistent that \(\hbox {Spec}(mif)=\{\aleph _1,\kappa =\mathfrak {c}\}\) . Assuming large cardinals, in addition to (1) above, we can provide that $$\begin{aligned} (\kappa _i,\kappa _{i+1})\cap \hbox {Spec}(mif)=\emptyset \end{aligned}$$ for each i, \(1\le i<n\) .
      PubDate: 2019-02-25
  • Using Ramsey’s theorem once
    • Abstract: We show that \(\mathsf {RT} (2,4)\) cannot be proved with one typical application of \(\mathsf {RT} (2,2)\) in an intuitionistic extension of \({\mathsf {RCA}}_{0}\) to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach’s axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.
      PubDate: 2019-02-22
  • Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1
           -Suslin sets
    • Abstract: We define a generic Vopěnka cardinal to be an inaccessible cardinal \(\kappa \) such that for every first-order language \({\mathcal {L}}\) of cardinality less than \(\kappa \) and every set \({\mathscr {B}}\) of \({\mathcal {L}}\) -structures, if \( {\mathscr {B}} = \kappa \) and every structure in \({\mathscr {B}}\) has cardinality less than \(\kappa \) , then an elementary embedding between two structures in \({\mathscr {B}}\) exists in some generic extension of V. We investigate connections between generic Vopěnka cardinals in models of ZFC and the number and complexity of \(\aleph _1\) -Suslin sets of reals in models of ZF. In particular, we show that ZFC + (there is a generic Vopěnka cardinal) is equiconsistent with ZF + \((2^{\aleph _1} \not \le S_{\aleph _1} )\) where \(S_{\aleph _1}\) is the pointclass of all \(\aleph _1\) -Suslin sets of reals, and also with ZF + \((S_{\aleph _1} = {{\varvec{\Sigma }}}^1_2)\) + \((\varTheta = \aleph _2)\) where \(\varTheta \) is the least ordinal that is not a surjective image of the reals.
      PubDate: 2019-02-20
  • Definable valuations induced by multiplicative subgroups and NIP fields
    • Abstract: We study the algebraic implications of the non-independence property and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a (definable) henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” (J Math Log 18(2):1850007, 2018).
      PubDate: 2019-02-09
  • Prikry forcing and tree Prikry forcing of various filters
    • Abstract: In this paper, we answer a question asked in Koepke et al. (J Symb Logic 78:85–100, 2013) regarding a Mathias criteria for Tree-Prikry forcing. Also we will investigate Prikry forcing using various filters. For completeness and self inclusion reasons, we will give proofs of many known theorems.
      PubDate: 2019-02-07
  • Truth, disjunction, and induction
    • Abstract: By a well-known result of Kotlarski et al. (1981), first-order Peano arithmetic \({{\mathsf {P}}}{{\mathsf {A}}}\) can be conservatively extended to the theory \({{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}\) of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \({{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}\) while maintaining conservativity over \( {{\mathsf {P}}}{{\mathsf {A}}}\) . Our main result shows that conservativity fails even for the extension of \({{\mathsf {C}}}{{\mathsf {T}}}^{-}\mathsf {[PA]}\) obtained by the seemingly weak axiom of disjunctive correctness \({{\mathsf {D}}}{{\mathsf {C}}}\) that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \({{\mathsf {C}}}{\mathsf {T}}^{-}\mathsf {[PA]}+\mathsf {DC}\) implies \(\mathsf {Con}(\mathsf {PA})\) . Our main result states that the theory \({\mathsf {C}}{\mathsf {T}}^{-}\mathsf {[PA]}+\mathsf {DC}\) coincides with the theory \({\mathsf {C}}{\mathsf {T}}_{0}\mathsf {[PA]}\) obtained by adding \( \Delta _{0}\) -induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski (1986) and Cieśliński (2010). For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to (Löb’s version of) Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof (1989).
      PubDate: 2019-02-04
  • Extendible cardinals and the mantle
    • Abstract: The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.
      PubDate: 2019-02-01
  • Convexity and unique minimum points
    • 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: 2019-02-01
  • Strange ultrafilters
    • Abstract: We deal with some natural properties of ultrafilters which trivially fail for normal ultrafilters.
      PubDate: 2019-02-01
  • A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes
    • Abstract: We study classes of atomic models \(\mathbf{At}_T\) of a countable, complete first-order theory T. We prove that if \(\mathbf{At}_T\) is not \(\mathrm{pcl}\) -small, i.e., there is an atomic model N that realizes uncountably many types over \(\mathrm{pcl}_N(\bar{a})\) for some finite \(\bar{a}\) from N, then there are \(2^{\aleph _1}\) non-isomorphic atomic models of T, each of size \(\aleph _1\) .
      PubDate: 2019-02-01
  • 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
  • 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
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-