for Journals by Title or ISSN
for Articles by Keywords
help
  Subjects -> MATHEMATICS (Total: 909 journals)
    - APPLIED MATHEMATICS (75 journals)
    - GEOMETRY AND TOPOLOGY (20 journals)
    - MATHEMATICS (676 journals)
    - MATHEMATICS (GENERAL) (41 journals)
    - NUMERICAL ANALYSIS (19 journals)
    - PROBABILITIES AND MATH STATISTICS (78 journals)

MATHEMATICS (676 journals)                  1 2 3 4 | Last

Showing 1 - 200 of 538 Journals sorted alphabetically
Abakós     Open Access   (Followers: 4)
Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg     Hybrid Journal   (Followers: 3)
Academic Voices : A Multidisciplinary Journal     Open Access   (Followers: 2)
Accounting Perspectives     Full-text available via subscription   (Followers: 7)
ACM Transactions on Algorithms (TALG)     Hybrid Journal   (Followers: 16)
ACM Transactions on Computational Logic (TOCL)     Hybrid Journal   (Followers: 4)
ACM Transactions on Mathematical Software (TOMS)     Hybrid Journal   (Followers: 6)
ACS Applied Materials & Interfaces     Full-text available via subscription   (Followers: 25)
Acta Applicandae Mathematicae     Hybrid Journal   (Followers: 1)
Acta Mathematica     Hybrid Journal   (Followers: 11)
Acta Mathematica Hungarica     Hybrid Journal   (Followers: 2)
Acta Mathematica Scientia     Full-text available via subscription   (Followers: 5)
Acta Mathematica Sinica, English Series     Hybrid Journal   (Followers: 6)
Acta Mathematica Vietnamica     Hybrid Journal  
Acta Mathematicae Applicatae Sinica, English Series     Hybrid Journal  
Advanced Science Letters     Full-text available via subscription   (Followers: 9)
Advances in Applied Clifford Algebras     Hybrid Journal   (Followers: 3)
Advances in Calculus of Variations     Hybrid Journal   (Followers: 2)
Advances in Catalysis     Full-text available via subscription   (Followers: 5)
Advances in Complex Systems     Hybrid Journal   (Followers: 7)
Advances in Computational Mathematics     Hybrid Journal   (Followers: 15)
Advances in Decision Sciences     Open Access   (Followers: 5)
Advances in Difference Equations     Open Access   (Followers: 2)
Advances in Fixed Point Theory     Open Access   (Followers: 5)
Advances in Geosciences (ADGEO)     Open Access   (Followers: 11)
Advances in Linear Algebra & Matrix Theory     Open Access   (Followers: 2)
Advances in Materials Sciences     Open Access   (Followers: 16)
Advances in Mathematical Physics     Open Access   (Followers: 5)
Advances in Mathematics     Full-text available via subscription   (Followers: 10)
Advances in Numerical Analysis     Open Access   (Followers: 4)
Advances in Operations Research     Open Access   (Followers: 11)
Advances in Porous Media     Full-text available via subscription   (Followers: 4)
Advances in Pure and Applied Mathematics     Hybrid Journal   (Followers: 6)
Advances in Pure Mathematics     Open Access   (Followers: 4)
Advances in Science and Research (ASR)     Open Access   (Followers: 6)
Aequationes Mathematicae     Hybrid Journal   (Followers: 2)
African Journal of Educational Studies in Mathematics and Sciences     Full-text available via subscription   (Followers: 5)
African Journal of Mathematics and Computer Science Research     Open Access   (Followers: 4)
Afrika Matematika     Hybrid Journal   (Followers: 1)
Air, Soil & Water Research     Open Access   (Followers: 9)
AKSIOMA Journal of Mathematics Education     Open Access   (Followers: 1)
Al-Jabar : Jurnal Pendidikan Matematika     Open Access  
Algebra and Logic     Hybrid Journal   (Followers: 4)
Algebra Colloquium     Hybrid Journal   (Followers: 4)
Algebra Universalis     Hybrid Journal   (Followers: 2)
Algorithmic Operations Research     Full-text available via subscription   (Followers: 5)
Algorithms     Open Access   (Followers: 11)
Algorithms Research     Open Access   (Followers: 1)
American Journal of Computational and Applied Mathematics     Open Access   (Followers: 4)
American Journal of Mathematical Analysis     Open Access  
American Journal of Mathematics     Full-text available via subscription   (Followers: 7)
American Journal of Operations Research     Open Access   (Followers: 5)
American Mathematical Monthly     Full-text available via subscription   (Followers: 6)
An International Journal of Optimization and Control: Theories & Applications     Open Access   (Followers: 7)
Analele Universitatii Ovidius Constanta - Seria Matematica     Open Access   (Followers: 1)
Analysis     Hybrid Journal   (Followers: 2)
Analysis and Applications     Hybrid Journal   (Followers: 1)
Analysis and Mathematical Physics     Hybrid Journal   (Followers: 3)
Analysis Mathematica     Full-text available via subscription  
Annales Mathematicae Silesianae     Open Access  
Annales mathématiques du Québec     Hybrid Journal   (Followers: 4)
Annales UMCS, Mathematica     Open Access   (Followers: 1)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica     Open Access  
Annali di Matematica Pura ed Applicata     Hybrid Journal   (Followers: 1)
Annals of Combinatorics     Hybrid Journal   (Followers: 3)
Annals of Data Science     Hybrid Journal   (Followers: 11)
Annals of Discrete Mathematics     Full-text available via subscription   (Followers: 6)
Annals of Mathematics     Full-text available via subscription  
Annals of Mathematics and Artificial Intelligence     Hybrid Journal   (Followers: 8)
Annals of Pure and Applied Logic     Open Access   (Followers: 2)
Annals of the Alexandru Ioan Cuza University - Mathematics     Open Access  
Annals of the Institute of Statistical Mathematics     Hybrid Journal   (Followers: 1)
Annals of West University of Timisoara - Mathematics     Open Access  
Annuaire du Collège de France     Open Access   (Followers: 5)
Applicable Algebra in Engineering, Communication and Computing     Hybrid Journal   (Followers: 2)
Applications of Mathematics     Hybrid Journal   (Followers: 1)
Applied Categorical Structures     Hybrid Journal   (Followers: 2)
Applied Computational Intelligence and Soft Computing     Open Access   (Followers: 12)
Applied Mathematics     Open Access   (Followers: 3)
Applied Mathematics     Open Access   (Followers: 5)
Applied Mathematics & Optimization     Hybrid Journal   (Followers: 4)
Applied Mathematics - A Journal of Chinese Universities     Hybrid Journal  
Applied Mathematics Letters     Full-text available via subscription   (Followers: 1)
Applied Mathematics Research eXpress     Hybrid Journal   (Followers: 1)
Applied Network Science     Open Access   (Followers: 1)
Applied Numerical Mathematics     Hybrid Journal   (Followers: 5)
Applied Spatial Analysis and Policy     Hybrid Journal   (Followers: 5)
Arab Journal of Mathematical Sciences     Open Access   (Followers: 3)
Arabian Journal of Mathematics     Open Access   (Followers: 2)
Archive for Mathematical Logic     Hybrid Journal   (Followers: 1)
Archive of Applied Mechanics     Hybrid Journal   (Followers: 5)
Archive of Numerical Software     Open Access  
Archives of Computational Methods in Engineering     Hybrid Journal   (Followers: 4)
Arkiv för Matematik     Hybrid Journal   (Followers: 1)
Arnold Mathematical Journal     Hybrid Journal   (Followers: 1)
Artificial Satellites : The Journal of Space Research Centre of Polish Academy of Sciences     Open Access   (Followers: 21)
Asia-Pacific Journal of Operational Research     Hybrid Journal   (Followers: 3)
Asian Journal of Algebra     Open Access   (Followers: 1)
Asian Journal of Current Engineering & Maths     Open Access  
Asian-European Journal of Mathematics     Hybrid Journal   (Followers: 2)
Australian Mathematics Teacher, The     Full-text available via subscription   (Followers: 7)
Australian Primary Mathematics Classroom     Full-text available via subscription   (Followers: 3)
Australian Senior Mathematics Journal     Full-text available via subscription   (Followers: 1)
Automatic Documentation and Mathematical Linguistics     Hybrid Journal   (Followers: 5)
Axioms     Open Access   (Followers: 1)
Baltic International Yearbook of Cognition, Logic and Communication     Open Access  
Basin Research     Hybrid Journal   (Followers: 5)
BIBECHANA     Open Access   (Followers: 2)
BIT Numerical Mathematics     Hybrid Journal  
BoEM - Boletim online de Educação Matemática     Open Access  
Boletim Cearense de Educação e História da Matemática     Open Access  
Boletim de Educação Matemática     Open Access  
Boletín de la Sociedad Matemática Mexicana     Hybrid Journal  
Bollettino dell'Unione Matematica Italiana     Full-text available via subscription   (Followers: 1)
British Journal of Mathematical and Statistical Psychology     Full-text available via subscription   (Followers: 21)
Bruno Pini Mathematical Analysis Seminar     Open Access  
Buletinul Academiei de Stiinte a Republicii Moldova. Matematica     Open Access   (Followers: 11)
Bulletin des Sciences Mathamatiques     Full-text available via subscription   (Followers: 4)
Bulletin of Dnipropetrovsk University. Series : Communications in Mathematical Modeling and Differential Equations Theory     Open Access   (Followers: 1)
Bulletin of Mathematical Sciences     Open Access   (Followers: 1)
Bulletin of the Brazilian Mathematical Society, New Series     Hybrid Journal  
Bulletin of the London Mathematical Society     Hybrid Journal   (Followers: 3)
Bulletin of the Malaysian Mathematical Sciences Society     Hybrid Journal  
Calculus of Variations and Partial Differential Equations     Hybrid Journal  
Canadian Journal of Science, Mathematics and Technology Education     Hybrid Journal   (Followers: 20)
Carpathian Mathematical Publications     Open Access   (Followers: 1)
Catalysis in Industry     Hybrid Journal   (Followers: 1)
CEAS Space Journal     Hybrid Journal   (Followers: 1)
CHANCE     Hybrid Journal   (Followers: 6)
Chaos, Solitons & Fractals     Hybrid Journal   (Followers: 3)
ChemSusChem     Hybrid Journal   (Followers: 7)
Chinese Annals of Mathematics, Series B     Hybrid Journal  
Chinese Journal of Catalysis     Full-text available via subscription   (Followers: 2)
Chinese Journal of Mathematics     Open Access  
Clean Air Journal     Full-text available via subscription   (Followers: 2)
Cogent Mathematics     Open Access   (Followers: 2)
Cognitive Computation     Hybrid Journal   (Followers: 4)
Collectanea Mathematica     Hybrid Journal  
College Mathematics Journal     Full-text available via subscription   (Followers: 3)
COMBINATORICA     Hybrid Journal  
Combustion Theory and Modelling     Hybrid Journal   (Followers: 14)
Commentarii Mathematici Helvetici     Hybrid Journal   (Followers: 1)
Communications in Combinatorics and Optimization     Open Access  
Communications in Contemporary Mathematics     Hybrid Journal  
Communications in Mathematical Physics     Hybrid Journal   (Followers: 1)
Communications On Pure & Applied Mathematics     Hybrid Journal   (Followers: 3)
Complex Analysis and its Synergies     Open Access   (Followers: 2)
Complex Variables and Elliptic Equations: An International Journal     Hybrid Journal  
Complexus     Full-text available via subscription  
Composite Materials Series     Full-text available via subscription   (Followers: 9)
Comptes Rendus Mathematique     Full-text available via subscription   (Followers: 1)
Computational and Applied Mathematics     Hybrid Journal   (Followers: 2)
Computational and Mathematical Methods in Medicine     Open Access   (Followers: 2)
Computational and Mathematical Organization Theory     Hybrid Journal   (Followers: 2)
Computational Complexity     Hybrid Journal   (Followers: 4)
Computational Mathematics and Modeling     Hybrid Journal   (Followers: 8)
Computational Mechanics     Hybrid Journal   (Followers: 4)
Computational Methods and Function Theory     Hybrid Journal  
Computational Optimization and Applications     Hybrid Journal   (Followers: 7)
Computers & Mathematics with Applications     Full-text available via subscription   (Followers: 6)
Concrete Operators     Open Access   (Followers: 4)
Confluentes Mathematici     Hybrid Journal  
Contributions to Game Theory and Management     Open Access  
COSMOS     Hybrid Journal  
Cryptography and Communications     Hybrid Journal   (Followers: 14)
Cuadernos de Investigación y Formación en Educación Matemática     Open Access  
Cubo. A Mathematical Journal     Open Access  
Current Research in Biostatistics     Open Access   (Followers: 9)
Czechoslovak Mathematical Journal     Hybrid Journal   (Followers: 1)
Demographic Research     Open Access   (Followers: 11)
Demonstratio Mathematica     Open Access  
Dependence Modeling     Open Access  
Design Journal : An International Journal for All Aspects of Design     Hybrid Journal   (Followers: 28)
Developments in Clay Science     Full-text available via subscription   (Followers: 1)
Developments in Mineral Processing     Full-text available via subscription   (Followers: 3)
Dhaka University Journal of Science     Open Access  
Differential Equations and Dynamical Systems     Hybrid Journal   (Followers: 3)
Differentsial'nye Uravneniya     Open Access  
Discrete Mathematics     Hybrid Journal   (Followers: 8)
Discrete Mathematics & Theoretical Computer Science     Open Access  
Discrete Mathematics, Algorithms and Applications     Hybrid Journal   (Followers: 2)
Discussiones Mathematicae Graph Theory     Open Access   (Followers: 1)
Diskretnaya Matematika     Full-text available via subscription  
Dnipropetrovsk University Mathematics Bulletin     Open Access  
Doklady Akademii Nauk     Open Access  
Doklady Mathematics     Hybrid Journal  
Duke Mathematical Journal     Full-text available via subscription   (Followers: 1)
Eco Matemático     Open Access  
Edited Series on Advances in Nonlinear Science and Complexity     Full-text available via subscription  
Electronic Journal of Differential Equations     Open Access  
Electronic Journal of Graph Theory and Applications     Open Access   (Followers: 2)
Electronic Notes in Discrete Mathematics     Full-text available via subscription   (Followers: 2)
Elemente der Mathematik     Full-text available via subscription   (Followers: 4)
Energy for Sustainable Development     Hybrid Journal   (Followers: 9)
Enseñanza de las Ciencias : Revista de Investigación y Experiencias Didácticas     Open Access  
Ensino da Matemática em Debate     Open Access  
Entropy     Open Access   (Followers: 5)
ESAIM: Control Optimisation and Calculus of Variations     Full-text available via subscription   (Followers: 1)
European Journal of Combinatorics     Full-text available via subscription   (Followers: 5)
European Journal of Mathematics     Hybrid Journal   (Followers: 1)

        1 2 3 4 | Last

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  [2355 journals]
  • On the consistency strength of level by level inequivalence
    • Authors: Arthur W. Apter
      Pages: 715 - 723
      Abstract: Abstract We show that the theories “ZFC \(+\) There is a supercompact cardinal” and “ZFC \(+\) There is a supercompact cardinal \(+\) Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0538-7
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • Strong measure zero and infinite games
    • Authors: Fred Galvin; Jan Mycielski; Robert M. Solovay
      Pages: 725 - 732
      Abstract: Abstract We show that strong measure zero sets (in a \(\sigma \) -totally bounded metric space) can be characterized by the nonexistence of a winning strategy in a certain infinite game. We use this characterization to give a proof of the well known fact, originally conjectured by K. Prikry, that every dense \(G_\delta \) subset of the real line contains a translate of every strong measure zero set. We also derive a related result which answers a question of J. Fickett.
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0541-z
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • Same graph, different universe
    • Authors: Assaf Rinot
      Pages: 783 - 796
      Abstract: Abstract May the same graph admit two different chromatic numbers in two different universes' How about infinitely many different values' and can this be achieved without changing the cardinals structure' In this paper, it is proved that in Gödel’s constructible universe, for every uncountable cardinal \(\mu \) below the first fixed-point of the \(\aleph \) -function, there exists a graph \(\mathcal G_\mu \) satisfying the following: \(\mathcal G_\mu \) has size and chromatic number \(\mu \) ; for every infinite cardinal \(\kappa <\mu \) , there exists a cofinality-preserving \({{\mathrm{GCH}}}\) -preserving forcing extension in which \({{\mathrm{Chr}}}(\mathcal G_\mu )=\kappa \) .
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0551-x
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • On constructions with 2-cardinals
    • Authors: Piotr Koszmider
      Pages: 849 - 876
      Abstract: Abstract We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman’s neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. The paper is dedicated to the memory of Jim Baumgartner whose seminal joint paper (Baumgartner and Shelah in Ann Pure Appl Logic 33(2):109–129, 1987) with Saharon Shelah provided a critical mass in the theory in question. A new result which we obtain as a side product is the consistency of the existence of a function \(f:[\lambda ^{++}]^2\rightarrow [\lambda ^{++}]^{\le \lambda }\) with the appropriate \(\lambda ^+\) -version of property \(\Delta \) for regular \(\lambda \ge \omega \) satisfying \(\lambda ^{<\lambda }=\lambda \) .
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0544-9
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • Codings and strongly inaccessible cardinals
    • Authors: Tadatoshi Miyamoto
      Pages: 1037 - 1044
      Abstract: Abstract We show that a coding principle introduced by J. Moore with respect to all ladder systems is equiconsistent with the existence of a strongly inaccessible cardinal. We also show that a coding principle introduced by S. Todorcevic has consistency strength at least of a strongly inaccessible cardinal.
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0548-5
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • Baumgartner’s isomorphism problem for $$\aleph _2$$ ℵ 2 -dense
           suborders of $$\mathbb {R}$$ R
    • Authors: Justin Tatch Moore; Stevo Todorcevic
      Pages: 1105 - 1114
      Abstract: Abstract In this paper we will analyze Baumgartner’s problem asking whether it is consistent that \(2^{\aleph _0} \ge \aleph _2\) and every pair of \(\aleph _2\) -dense subsets of \(\mathbb {R}\) are isomorphic as linear orders. The main result is the isolation of a combinatorial principle \((**)\) which is immune to c.c.c. forcing and which in the presence of \(2^{\aleph _0} \le \aleph _2\) implies that two \(\aleph _2\) -dense sets of reals can be forced to be isomorphic via a c.c.c. poset. Also, it will be shown that it is relatively consistent with ZFC that there exists an \(\aleph _2\) dense suborder X of \(\mathbb {R}\) which cannot be embedded into \(-X\) in any outer model with the same \(\aleph _2\) .
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0549-4
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • RETRACTED ARTICLE: A completeness theorem for continuous predicate modal
           logic
    • Authors: Stefano Baratella
      Pages: 1135 - 1135
      PubDate: 2017-11-01
      DOI: 10.1007/s00153-017-0554-7
      Issue No: Vol. 56, No. 7-8 (2017)
       
  • Definability of types and VC density in differential topological fields
    • Authors: Françoise Point
      Abstract: Abstract Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2.
      PubDate: 2017-12-26
      DOI: 10.1007/s00153-017-0607-y
       
  • Homomorphism reductions on Polish groups
    • Authors: Konstantinos A. Beros
      Abstract: Abstract In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if G is a Polish group and \(H,L \subseteq G\) are subgroups, we say H is homomorphism reducible to L iff there is a continuous group homomorphism \(\varphi : G \rightarrow G\) such that \(H = \varphi ^{-1} (L)\) . We previously showed that there is a \(K_\sigma \) subgroup L of the countable power of any locally compact Polish group G such that every \(K_\sigma \) subgroup of \(G^\omega \) is homomorphism reducible to L. In the present work, we show that this fails in the countable power of the group of increasing homeomorphisms of the unit interval.
      PubDate: 2017-12-15
      DOI: 10.1007/s00153-017-0606-z
       
  • Model completeness of generic graphs in rational cases
    • Authors: Hirotaka Kikyo
      Abstract: Abstract Let \(\mathbf {K}_f\) be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of \(\mathbf {K}_f\) has a model complete theory.
      PubDate: 2017-12-13
      DOI: 10.1007/s00153-017-0601-4
       
  • Embedding locales and formal topologies into positive topologies
    • Authors: Francesco Ciraulo; Giovanni Sambin
      Abstract: Abstract A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale, where the given set plays the role of a set of generators, typically a base, and the cover encodes the relations between generators. A positivity relation enriches the structure of a locale; among other things, it is a tool to study some particular subobjects, namely the overt weakly closed sublocales. We relate the category of locales to that of positive topologies and we show that the former is a reflective subcategory of the latter. We then generalize such a result to the (opposite of the) category of suplattices, which we present by means of (not necessarily convergent) cover relations. Finally, we show that the category of positive topologies also generalizes that of formal topologies, that is, overt locales.
      PubDate: 2017-12-07
      DOI: 10.1007/s00153-017-0605-0
       
  • A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ω ω ω
    • Authors: Claribet Piña
      Abstract: Abstract We consider colorings of the pairs of a family \(\mathcal {F}\subseteq {{\mathrm{FIN}}}\) of topological type \(\omega ^{\omega ^k}\) , for \(k>1\) ; and we find a homogeneous family \(\mathcal {G}\subseteq \mathcal {F}\) for each coloring. As a consequence, we complete our study of the partition relation \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,m}}\) identifying \(\omega ^{\omega ^\omega }\) as the smallest ordinal space \(\alpha <\omega _1\) satisfying \({\forall l>1,\, \alpha \rightarrow ({{\mathrm{top}}}\;\omega ^2+1)^2_{l,4}}\) .
      PubDate: 2017-12-04
      DOI: 10.1007/s00153-017-0604-1
       
  • On a class of maximality principles
    • Authors: Daisuke Ikegami; Nam Trang
      Abstract: Abstract We study various classes of maximality principles, \(\mathrm {MP}(\kappa ,\Gamma )\) , introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where \(\Gamma \) defines a class of forcing posets and \(\kappa \) is an infinite cardinal. We explore the consistency strength and the relationship of \(\textsf {MP}(\kappa ,\Gamma )\) with various forcing axioms when \(\kappa \in \{\omega ,\omega _1\}\) . In particular, we give a characterization of bounded forcing axioms for a class of forcings \(\Gamma \) in terms of maximality principles MP \((\omega _1,\Gamma )\) for \(\Sigma _1\) formulas. A significant part of the paper is devoted to studying the principle MP \((\kappa ,\Gamma )\) where \(\kappa \in \{\omega ,\omega _1\}\) and \(\Gamma \) defines the class of stationary set preserving forcings. We show that MP \((\kappa ,\Gamma )\) has high consistency strength; on the other hand, if \(\Gamma \) defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP \((\kappa ,\Gamma )\) is consistent relative to \(V=L\) .
      PubDate: 2017-11-27
      DOI: 10.1007/s00153-017-0603-2
       
  • Good frames in the Hart–Shelah example
    • Authors: Will Boney; Sebastien Vasey
      Abstract: For a fixed natural number \(n \ge 1\) , the Hart–Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical exactly in the infinite cardinals less than or equal to \(\aleph _{n}\) . We investigate recently-isolated properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good \(\aleph _{n - 1}\) -frame which fails the existence property for uniqueness triples. This gives the first example of such a frame. Along the way, we develop new tools to build and analyze good frames.
      PubDate: 2017-11-21
      DOI: 10.1007/s00153-017-0599-7
       
  • On the minimal cover property and certain notions of finite
    • Authors: Eleftherios Tachtsis
      Abstract: Abstract In set theory without the axiom of choice, we investigate the deductive strength of the principle “every topological space with the minimal cover property is compact”, and its relationship with certain notions of finite as well as with properties of linearly ordered sets and partially ordered sets.
      PubDate: 2017-11-17
      DOI: 10.1007/s00153-017-0595-y
       
  • Derivatives of normal functions and $$\omega $$ ω -models
    • Authors: Toshiyasu Arai
      Abstract: Abstract In this note the well-ordering principle for the derivative \(\mathsf{g}^{\prime }\) of normal functions \(\mathsf{g}\) on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded \(\omega \) -models of the well-ordering principle for the function \(\mathsf{g}\) .
      PubDate: 2017-11-15
      DOI: 10.1007/s00153-017-0600-5
       
  • Ax–Schanuel for linear differential equations
    • Authors: Vahagn Aslanyan
      Abstract: Abstract We generalise the exponential Ax–Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by Kirby (The theory of exponential differential equations, 2006, Sel Math 15(3):445–486, 2009) and Crampin (Reducts of differentially closed fields to fields with a relation for exponentiation, 2006) we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax–Schanuel inequalities are adequate for them.
      PubDate: 2017-11-14
      DOI: 10.1007/s00153-017-0602-3
       
  • Borel globalizations of partial actions of Polish groups
    • Authors: H. Pinedo; C. Uzcategui
      Abstract: Abstract We show that the enveloping space \({\mathbb {X}}_G\) of a partial action of a Polish group G on a Polish space \({\mathbb {X}}\) is a standard Borel space, that is to say, there is a topology \(\tau \) on \({\mathbb {X}}_G\) such that \(({\mathbb {X}}_G, \tau )\) is Polish and the quotient Borel structure on \({\mathbb {X}}_G\) is equal to \(Borel({\mathbb {X}}_G,\tau )\) . To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence relation induced by a group action and also show that some properties of the Vaught’s transform are valid for partial actions of groups.
      PubDate: 2017-11-02
      DOI: 10.1007/s00153-017-0598-8
       
  • Strongly uplifting cardinals and the boldface resurrection axioms
    • Authors: Joel David Hamkins; Thomas A. Johnstone
      Abstract: Abstract We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.
      PubDate: 2017-08-19
      DOI: 10.1007/s00153-017-0542-y
       
  • Dedicated to James Earl Baumgartner
    • PubDate: 2017-07-21
      DOI: 10.1007/s00153-017-0574-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.226.179.247
 
About JournalTOCs
API
Help
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-2016