Subjects -> MATHEMATICS (Total: 1108 journals)
    - APPLIED MATHEMATICS (89 journals)
    - GEOMETRY AND TOPOLOGY (23 journals)
    - MATHEMATICS (815 journals)
    - MATHEMATICS (GENERAL) (45 journals)
    - NUMERICAL ANALYSIS (25 journals)
    - PROBABILITIES AND MATH STATISTICS (111 journals)

MATHEMATICS (815 journals)            First | 1 2 3 4 5     

Showing 401 - 538 of 538 Journals sorted alphabetically
Journal of Computational Physics     Hybrid Journal   (Followers: 71)
Journal of Computational Physics : X     Open Access   (Followers: 1)
Journal of Computer Engineering, System and Science (CESS)     Open Access  
Journal of Contemporary Mathematical Analysis     Hybrid Journal  
Journal of Cryptology     Hybrid Journal   (Followers: 3)
Journal of Difference Equations and Applications     Hybrid Journal  
Journal of Differential Equations     Full-text available via subscription   (Followers: 1)
Journal of Discrete Algorithms     Hybrid Journal   (Followers: 4)
Journal of Discrete Mathematics     Open Access   (Followers: 1)
Journal of Dynamics and Differential Equations     Hybrid Journal  
Journal of Engineering Mathematics     Hybrid Journal   (Followers: 2)
Journal of Evolution Equations     Hybrid Journal  
Journal of Experimental Algorithmics     Full-text available via subscription   (Followers: 1)
Journal of Flood Risk Management     Hybrid Journal   (Followers: 14)
Journal of Formalized Reasoning     Open Access   (Followers: 2)
Journal of Function Spaces     Open Access  
Journal of Functional Analysis     Full-text available via subscription   (Followers: 2)
Journal of Geochemical Exploration     Hybrid Journal   (Followers: 1)
Journal of Geological Research     Open Access   (Followers: 1)
Journal of Geovisualization and Spatial Analysis     Hybrid Journal  
Journal of Global Optimization     Hybrid Journal   (Followers: 7)
Journal of Global Research in Mathematical Archives     Open Access   (Followers: 1)
Journal of Group Theory     Hybrid Journal   (Followers: 2)
Journal of Homotopy and Related Structures     Hybrid Journal  
Journal of Honai Math     Open Access  
Journal of Humanistic Mathematics     Open Access   (Followers: 1)
Journal of Hyperbolic Differential Equations     Hybrid Journal  
Journal of Indian Council of Philosophical Research     Hybrid Journal  
Journal of Industrial Mathematics     Open Access   (Followers: 2)
Journal of Inequalities and Applications     Open Access  
Journal of Infrared, Millimeter and Terahertz Waves     Hybrid Journal   (Followers: 2)
Journal of Integrable Systems     Open Access   (Followers: 1)
Journal of K-Theory     Full-text available via subscription  
Journal of Knot Theory and Its Ramifications     Hybrid Journal   (Followers: 1)
Journal of Kufa for Mathematics and Computer     Open Access   (Followers: 1)
Journal of Liquid Chromatography & Related Technologies     Hybrid Journal   (Followers: 7)
Journal of Logical and Algebraic Methods in Programming     Hybrid Journal  
Journal of Manufacturing Systems     Full-text available via subscription   (Followers: 4)
Journal of Mathematical Analysis and Applications     Full-text available via subscription   (Followers: 4)
Journal of mathematical and computational science     Open Access   (Followers: 7)
Journal of Mathematical and Fundamental Sciences     Open Access  
Journal of Mathematical Behavior     Hybrid Journal   (Followers: 3)
Journal of Mathematical Chemistry     Hybrid Journal   (Followers: 3)
Journal of Mathematical Cryptology     Hybrid Journal   (Followers: 1)
Journal of Mathematical Extension     Open Access   (Followers: 3)
Journal of Mathematical Finance     Open Access   (Followers: 9)
Journal of Mathematical Imaging and Vision     Hybrid Journal   (Followers: 6)
Journal of Mathematical Logic     Hybrid Journal   (Followers: 3)
Journal of Mathematical Modelling and Algorithms     Hybrid Journal   (Followers: 1)
Journal of Mathematical Neuroscience     Open Access   (Followers: 10)
Journal of Mathematical Sciences     Hybrid Journal  
Journal of Mathematical Sciences and Applications     Open Access   (Followers: 2)
Journal of Mathematical Sociology     Hybrid Journal   (Followers: 3)
Journal of Mathematics     Open Access  
Journal of Mathematics and Statistics     Open Access   (Followers: 8)
Journal of Mathematics and Statistics Studies     Open Access  
Journal of Mathematics and the Arts     Hybrid Journal   (Followers: 2)
Journal of Mathematics Education at Teachers College     Open Access   (Followers: 3)
Journal of Mathematics in Industry     Open Access  
Journal of Mathematics Research     Open Access   (Followers: 6)
Journal of Metallurgy     Open Access   (Followers: 7)
Journal of Modern Mathematics Frontier     Open Access  
Journal of Multidisciplinary Modeling and Optimization     Open Access  
Journal of Multivariate Analysis     Hybrid Journal   (Followers: 13)
Journal of Natural Sciences and Mathematics Research     Open Access  
Journal of Nonlinear Analysis and Optimization : Theory & Applications     Open Access   (Followers: 4)
Journal of Nonlinear Mathematical Physics     Hybrid Journal   (Followers: 1)
Journal of Nonlinear Science     Hybrid Journal   (Followers: 1)
Journal of Numerical Cognition     Open Access  
Journal of Numerical Mathematics     Hybrid Journal   (Followers: 2)
Journal of Optimization     Open Access   (Followers: 5)
Journal of Peridynamics and Nonlocal Modeling     Hybrid Journal  
Journal of Problem Solving     Open Access   (Followers: 2)
Journal of Progressive Research in Mathematics     Open Access   (Followers: 5)
Journal of Pseudo-Differential Operators and Applications     Hybrid Journal  
Journal of Pure and Applied Algebra     Full-text available via subscription   (Followers: 4)
Journal of Quantitative Analysis in Sports     Hybrid Journal   (Followers: 9)
Journal of Quantitative Linguistics     Hybrid Journal   (Followers: 6)
Journal of Scientific Computing     Hybrid Journal   (Followers: 18)
Journal of Scientific Research     Open Access  
Journal of Symbolic Computation     Hybrid Journal   (Followers: 1)
Journal of the Australian Mathematical Society     Full-text available via subscription  
Journal of the Egyptian Mathematical Society     Open Access  
Journal of the European Mathematical Society     Full-text available via subscription   (Followers: 1)
Journal of the Indian Mathematical Society     Hybrid Journal   (Followers: 1)
Journal of the Institute of Mathematics of Jussieu     Hybrid Journal  
Journal of the London Mathematical Society     Hybrid Journal   (Followers: 2)
Journal of the Nigerian Mathematical Society     Open Access   (Followers: 1)
Journal of Theoretical and Applied Physics     Open Access   (Followers: 8)
Journal of Topology and Analysis     Hybrid Journal  
Journal of Transport and Supply Chain Management     Open Access   (Followers: 15)
Journal of Turbulence     Hybrid Journal   (Followers: 8)
Journal of Uncertainty Analysis and Applications     Open Access  
Journal of Universal Mathematics     Open Access  
Journal of Urban Regeneration & Renewal     Full-text available via subscription   (Followers: 11)
JRAMathEdu : Journal of Research and Advances in Mathematics Education     Open Access   (Followers: 5)
JUMLAHKU : Jurnal Matematika Ilmiah STKIP Muhammadiyah Kuningan     Open Access   (Followers: 4)
JURING (Journal for Research in Mathematics Learning)     Open Access   (Followers: 1)
Jurnal Ilmiah AdMathEdu     Open Access  
Jurnal Matematika     Open Access   (Followers: 1)
Jurnal Matematika Integratif     Open Access  
Jurnal Matematika, Sains, Dan Teknologi     Open Access  
Jurnal Natural     Open Access  
Jurnal Pendidikan Matematika Raflesia     Open Access  
Jurnal Penelitian Pembelajaran Matematika Sekolah     Open Access  
Jurnal Penelitian Sains (JPS)     Open Access  
Jurnal Riset Pendidikan Matematika     Open Access  
Jurnal Sains Matematika dan Statistika     Open Access  
Jurnal Tadris Matematika     Open Access  
Jurnal Teknologi dan Sistem Komputer     Open Access  
Kontinu : Jurnal Penelitian Didaktik Matematika     Open Access   (Followers: 3)
Kreano, Jurnal Matematika Kreatif-Inovatif     Open Access   (Followers: 6)
Le Matematiche     Open Access  
Learning and Teaching Mathematics     Full-text available via subscription   (Followers: 7)
Lettera Matematica     Hybrid Journal  
Lietuvos Matematikos Rinkinys     Open Access   (Followers: 3)
Limits : Journal of Mathematics and Its Applications     Open Access   (Followers: 1)
Linear Algebra and its Applications     Full-text available via subscription   (Followers: 23)
Linear and Multilinear Algebra     Hybrid Journal   (Followers: 8)
Lithuanian Mathematical Journal     Hybrid Journal  
LMS Journal of Computation and Mathematics     Free  
Lobachevskii Journal of Mathematics     Open Access  
Logic and Analysis     Hybrid Journal   (Followers: 1)
Logic Journal of the IGPL     Hybrid Journal   (Followers: 1)
Logica Universalis     Hybrid Journal  
manuscripta mathematica     Hybrid Journal  
MaPan : Jurnal Matematika dan Pembelajaran     Open Access  
Marine Genomics     Hybrid Journal   (Followers: 2)
Matemáticas, Educación y Sociedad     Open Access  
Matematicheskie Zametki     Full-text available via subscription  
Matematika     Open Access  
Matematychni Studii     Open Access  
Mathematica Eterna     Open Access  
Mathematica Scandinavica     Full-text available via subscription   (Followers: 1)
Mathematica Slovaca     Hybrid Journal   (Followers: 1)
Mathematical and Computational Forestry & Natural-Resource Sciences     Free  
Mathematical Communications     Open Access  
Mathematical Computation     Open Access   (Followers: 1)
Mathematical Geosciences     Hybrid Journal   (Followers: 3)
Mathematical Journal of Interdisciplinary Sciences     Open Access   (Followers: 1)
Mathematical Medicine and Biology: A Journal of the IMA     Hybrid Journal   (Followers: 1)
Mathematical Methods in the Applied Sciences     Hybrid Journal   (Followers: 4)
Mathematical Methods of Statistics     Hybrid Journal   (Followers: 4)
Mathematical Modelling and Analysis     Open Access   (Followers: 1)
Mathematical Modelling in Civil Engineering     Open Access   (Followers: 5)
Mathematical Modelling of Natural Phenomena     Full-text available via subscription   (Followers: 1)
Mathematical Models and Methods in Applied Sciences     Hybrid Journal   (Followers: 2)
Mathematical Models in Engineering     Open Access   (Followers: 4)
Mathematical Notes     Hybrid Journal  
Mathematical Proceedings of the Cambridge Philosophical Society     Full-text available via subscription   (Followers: 2)
Mathematical Programming Computation     Hybrid Journal   (Followers: 3)
Mathematical Sciences     Open Access  
Mathematical Social Sciences     Hybrid Journal   (Followers: 1)
Mathematical Theory and Modeling     Open Access   (Followers: 13)
Mathematical Thinking and Learning     Hybrid Journal   (Followers: 3)
Mathematics and Statistics     Open Access   (Followers: 5)
Mathematics Education Forum Chitwan     Open Access   (Followers: 1)
Mathematics Education Journal     Open Access   (Followers: 2)
Mathematics Education Research Journal     Partially Free   (Followers: 18)
Mathematics in Science and Engineering     Full-text available via subscription  
Mathematics of Control, Signals, and Systems (MCSS)     Hybrid Journal   (Followers: 5)
Mathematics of Quantum and Nano Technologies     Open Access  
Mathématiques et sciences humaines     Open Access   (Followers: 7)
Mathematische Annalen     Hybrid Journal   (Followers: 1)
Mathematische Nachrichten     Hybrid Journal   (Followers: 1)
Mathematische Semesterberichte     Hybrid Journal  
Mathematische Zeitschrift     Hybrid Journal   (Followers: 1)
MathLAB Journal     Open Access   (Followers: 3)
MATI : Mathematical Aspects of Topological Indeces     Open Access  
MATICS     Open Access   (Followers: 2)
Matrix Science Mathematic     Open Access   (Followers: 1)
Measurement Science Review     Open Access   (Followers: 3)
Mediterranean Journal of Mathematics     Hybrid Journal  
Memetic Computing     Hybrid Journal  
Mendel : Soft Computing Journal     Open Access  
Metaheuristics     Hybrid Journal  
Metals and Materials International     Hybrid Journal  
Metascience     Hybrid Journal   (Followers: 1)
Milan Journal of Mathematics     Hybrid Journal  
Mitteilungen der DMV     Hybrid Journal  
MLQ- Mathematical Logic Quarterly     Hybrid Journal   (Followers: 1)
MONA : Matematik- og Naturfagsdidaktik     Hybrid Journal   (Followers: 6)
Monatshefte fur Mathematik     Hybrid Journal  
Moroccan Journal of Pure and Applied Analysis     Open Access   (Followers: 4)
Moscow University Mathematics Bulletin     Hybrid Journal  
MSOR Connections     Open Access   (Followers: 1)
Multiscale Modeling and Simulation     Hybrid Journal   (Followers: 3)
MUST : Journal of Mathematics Education, Science and Technology     Open Access   (Followers: 1)
Nagoya Mathematical Journal     Hybrid Journal  
Nano Research     Hybrid Journal   (Followers: 4)
Nanotechnologies in Russia     Hybrid Journal   (Followers: 1)
Natural Resource Modeling     Hybrid Journal   (Followers: 1)
New Mathematics and Natural Computation     Hybrid Journal  
Nonlinear Analysis : Modelling and Control     Open Access   (Followers: 1)
Nonlinear Analysis : Theory, Methods & Applications     Hybrid Journal   (Followers: 1)
Nonlinear Analysis: Hybrid Systems     Hybrid Journal  
Nonlinear Analysis: Real World Applications     Hybrid Journal   (Followers: 2)
Nonlinear Differential Equations and Applications NoDEA     Hybrid Journal  
Nonlinear Engineering     Open Access  
Nonlinear Oscillations     Hybrid Journal   (Followers: 1)

  First | 1 2 3 4 5     

Similar Journals
Journal Cover
Journal of Mathematical Logic
Journal Prestige (SJR): 2.166
Citation Impact (citeScore): 1
Number of Followers: 3  
 
  Hybrid Journal Hybrid journal (It can contain Open Access articles)
ISSN (Print) 0219-0613 - ISSN (Online) 1793-6691
Published by World Scientific Homepage  [119 journals]
  • Mice with finitely many Woodin cardinals from optimal determinacy
           hypotheses
    • Authors: Sandra Müller, Ralf Schindler, W. Hugh Woodin
      Abstract: Journal of Mathematical Logic, Volume 20, Issue Supp01, October 2020.
      We prove the following result which is due to the third author. Let [math]. If [math] determinacy and [math] determinacy both hold true and there is no [math]-definable [math]-sequence of pairwise distinct reals, then [math] exists and is [math]-iterable. The proof yields that [math] determinacy implies that [math] exists and is [math]-iterable for all reals [math]. A consequence is the Determinacy Transfer Theorem for arbitrary [math], namely the statement that [math] determinacy implies [math] determinacy.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-07-27T07:00:00Z
      DOI: 10.1142/S0219061319500132
      Issue No: Vol. 20, No. Supp01 (2020)
       
  • Forcing axioms and coronas of [math]-algebras
    • Authors: Paul McKenney, Alessandro Vignati
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [math]-algebras with the metric approximation property and an increasing approximate identity of projections.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-10-23T07:00:00Z
      DOI: 10.1142/S0219061321500069
       
  • Guessing models and the approachability ideal
    • Authors: Rahman Mohammadpour, Boban Veličković
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call [math] holds. This principle implies [math] and [math], and hence the tree property at [math] and [math], the Singular Cardinal Hypothesis, and the failure of the weak square principle [math], for all regular [math]. In addition, it implies that the restriction of the approachability ideal [math] to the set of ordinals of cofinality [math] is the nonstationary ideal on this set. The consistency of this last statement was previously shown by W. Mitchell.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-10-06T07:00:00Z
      DOI: 10.1142/S0219061321500033
       
  • Model-theoretic Elekes–Szabó in the strongly minimal case
    • Authors: Artem Chernikov, Sergei Starchenko
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We prove a generalization of the Elekes–Szabó theorem [G. Elekes and E. Szabó, How to find groups' (and how to use them in Erdos geometry'), Combinatorica 32(5) 537–571 (2012)] for relations definable in strongly minimal structures that are interpretable in distal structures.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-10-06T07:00:00Z
      DOI: 10.1142/S0219061321500045
       
  • Generic derivations on o-minimal structures
    • Authors: Antongiulio Fornasiero, Elliot Kaplan
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Let [math] be a complete, model complete o-minimal theory extending the theory [math] of real closed ordered fields in some appropriate language [math]. We study derivations [math] on models [math]. We introduce the notion of a [math]-derivation: a derivation which is compatible with the [math]-definable [math]-functions on [math]. We show that the theory of [math]-models with a [math]-derivation has a model completion [math]. The derivation in models [math] behaves “generically”, it is wildly discontinuous and its kernel is a dense elementary [math]-substructure of [math]. If [math], then [math] is the theory of closed ordered differential fields (CODFs) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that [math] has [math] as its open core, that [math] is distal, and that [math] eliminates imaginaries. We also show that the theory of [math]-models with finitely many commuting [math]-derivations has a model completion.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-10-06T07:00:00Z
      DOI: 10.1142/S0219061321500070
       
  • Knaster and friends II: The C-sequence number
    • Authors: Chris Lambie-Hanson, Assaf Rinot
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the [math]-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of [math] and independence results about the [math]-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general [math]-sequence spectrum and uncover some tight connections between the [math]-sequence spectrum and the strong coloring principle [math], introduced in Part I of this series.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-08-19T07:00:00Z
      DOI: 10.1142/S0219061321500021
       
  • Bounds on Scott ranks of some polish metric spaces
    • Authors: William Chan
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      If [math] is a proper Polish metric space and [math] is any countable dense submetric space of [math], then the Scott rank of [math] in the natural first-order language of metric spaces is countable and in fact at most [math], where [math] is the Church–Kleene ordinal of [math] (construed as a subset of [math]) which is the least ordinal with no presentation on [math] computable from [math]. If [math] is a rigid Polish metric space and [math] is any countable dense submetric space, then the Scott rank of [math] is countable and in fact less than [math].
      Citation: Journal of Mathematical Logic
      PubDate: 2020-07-15T07:00:00Z
      DOI: 10.1142/S021906132150001X
       
  • A descriptive Main Gap Theorem
    • Authors: Francesco Mangraviti, Luca Motto Ros
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Answering one of the main questions of [S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classification theory, Mem. Amer. Math. Soc. 230(1081) (2014) 80, Chap. 7], we show that there is a tight connection between the depth of a classifiable shallow theory [math] and the Borel rank of the isomorphism relation [math] on its models of size [math], for [math] any cardinal satisfying [math]. This is achieved by establishing a link between said rank and the [math]-Scott height of the [math]-sized models of [math], and yields to the following descriptive set-theoretical analog of Shelah’s Main Gap Theorem: Given a countable complete first-order theory [math], either [math] is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is [math]), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah’s theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible (Borel) complexities of [math], and provide a characterization of categoricity of [math] in terms of the descriptive set-theoretical complexity of [math].
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-24T07:00:00Z
      DOI: 10.1142/S0219061320500257
       
  • Metrically homogeneous graphs of diameter 3
    • Authors: Daniela A. Amato, Gregory Cherlin, H. Dugald Macpherson
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We classify countable metrically homogeneous graphs of diameter 3.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-19T07:00:00Z
      DOI: 10.1142/S0219061320500208
       
  • Tameness, powerful images, and large cardinals
    • Authors: Will Boney, Michael Lieberman
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [W. Boney and S. Unger, Large cardinal axioms from tameness in AECs, Proc. Amer. Math. Soc. 145(10) (2017) 4517–4532; A. Brooke-Taylor and J. Rosický, Accessible images revisited, Proc. AMS 145(3) (2016) 1317–1327; M. Lieberman, A category-theoretic characterization of almost measurable cardinals (Submitted, 2018), http://arxiv.org/abs/1809.06963; M. Lieberman and J. Rosický, Classification theory for accessible categories. J. Symbolic Logic 81(1) (2016) 1647–1648].
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-19T07:00:00Z
      DOI: 10.1142/S0219061320500245
       
  • Specializing trees and answer to a question of Williams
    • Authors: Mohammad Golshani, Saharon Shelah
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We show that if [math] then any nontrivial [math]-closed forcing notion of size [math] is forcing equivalent to [math] the Cohen forcing for adding a new Cohen subset of [math] We also produce, relative to the existence of suitable large cardinals, a model of ZFC in which [math] and all [math]-closed forcing notion of size [math] collapse [math] and hence are forcing equivalent to [math] These results answer a question of Scott Williams from 1978. We also extend a result of Todorcevic and Foreman–Magidor–Shelah by showing that it is consistent that every partial order which adds a new subset of [math] collapses [math] or [math]
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-13T07:00:00Z
      DOI: 10.1142/S0219061320500233
       
  • Turing degrees in Polish spaces and decomposability of Borel functions
    • Authors: Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore–Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results on the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-04T07:00:00Z
      DOI: 10.1142/S021906132050021X
       
  • Pseudofinite difference fields and counting dimensions
    • Authors: Tingxiang Zou
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and integer-valued. Moreover, we also discuss the possible connection between coarse dimension and transformal transcendence degree in these difference fields.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-06-04T07:00:00Z
      DOI: 10.1142/S0219061320500221
       
  • Constructing sequences one step at a time
    • Authors: Henry Towsner
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We propose a new method for constructing Turing ideals satisfying principles of reverse mathematics below the Chain–Antichain ([math]) Principle. Using this method, we are able to prove several new separations in the presence of Weak König’s Lemma ([math]), including showing that [math] does not imply the thin set theorem for pairs, and that the principle “the product of well-quasi-orders is a well-quasi-order” is strictly between [math] and the Ascending/Descending Sequences principle, even in the presence of [math].
      Citation: Journal of Mathematical Logic
      PubDate: 2020-03-25T07:00:00Z
      DOI: 10.1142/S0219061320500178
       
  • Local saturation and square everywhere
    • Authors: Monroe Eskew
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We show that it is consistent relative to a huge cardinal that for all infinite cardinals [math], [math] holds and there is a stationary [math] such that [math] is [math]-saturated.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-03-25T07:00:00Z
      DOI: 10.1142/S0219061320500191
       
  • Galois groups as quotients of Polish groups
    • Authors: Krzysztof Krupiński, Tomasz Rzepecki
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an [math] normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over [math]. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and the complexity of strong types, Israel J. Math. 228 (2018) 863–932] which says that for any strong type defined on a single complete type over [math], smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-03-10T07:00:00Z
      DOI: 10.1142/S021906132050018X
       
  • Every zero-dimensional homogeneous space is strongly homogeneous under
           determinacy
    • Authors: Raphaël Carroy, Andrea Medini, Sandra Müller
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (i.e. all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van Douwen, and gives partial answers to questions of Terada and Medvedev.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-03-04T08:00:00Z
      DOI: 10.1142/S0219061320500154
       
  • Coding in the automorphism group of a computably categorical structure
    • Authors: Dan Turetsky
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Using new techniques for controlling the categoricity spectrum of a structure, we construct a structure with degree of categoricity but infinite spectral dimension, answering a question of Bazhenov, Kalimullin and Yamaleev. Using the same techniques, we construct a computably categorical structure of non-computable Scott rank.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-02-18T08:00:00Z
      DOI: 10.1142/S0219061320500166
       
  • Extender-based forcings with overlapping extenders and negations of the
           Shelah Weak Hypothesis
    • Authors: Moti Gitik
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Extender-based Prikry–Magidor forcing for overlapping extenders is introduced. As an application, models with strong forms of negations of the Shelah Weak Hypothesis for various cofinalities are constructed.
      Citation: Journal of Mathematical Logic
      PubDate: 2020-01-30T08:00:00Z
      DOI: 10.1142/S0219061320500130
       
  • Defining integer-valued functions in rings of continuous definable
           functions over a topological field
    • Authors: Luck Darnière, Marcus Tressl
      Abstract: Journal of Mathematical Logic, Ahead of Print.
      Let [math] be an expansion of either an ordered field [math], or a valued field [math]. Given a definable set [math] let [math] be the ring of continuous definable functions from [math] to [math]. Under very mild assumptions on the geometry of [math] and on the structure [math], in particular when [math] is [math]-minimal or [math]-minimal, or an expansion of a local field, we prove that the ring of integers [math] is interpretable in [math]. If [math] is [math]-minimal and [math] is definably connected of pure dimension [math], then [math] defines the subring [math]. If [math] is [math]-minimal and [math] has no isolated points, then there is a discrete ring [math] contained in [math] and naturally isomorphic to [math], such that the ring of functions [math] which take values in [math] is definable in [math].
      Citation: Journal of Mathematical Logic
      PubDate: 2020-01-30T08:00:00Z
      DOI: 10.1142/S0219061320500142
       
 
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
 


Your IP address: 100.24.113.182
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-