Write in a clean editor, then format for Journal of Mathematical Logic in one click — DocuGuru applies the official World Scientific template with superscript references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
Journal of Mathematical Logic is a peer-reviewed journal published by World Scientific, covering Advanced Topology and Set Theory, Computability, Logic, AI Algorithms, Rings, Modules, and Algebras.
| Publisher | World Scientific |
|---|---|
| Reference style | Superscript numbered (World Scientific) Superscript — small raised numerals in the text 1. Smith, A., Jones, B. & Lee, C. A representative article title. Journal of Mathematical Logic 12, 45–58 (2023).
Formats any DOI in the closest standard style — Journal of Mathematical Logic has no published style definition, so this is an approximation. No sign-up. |
| Publishes research in | Advanced Topology and Set Theory Computability, Logic, AI Algorithms Rings, Modules, and Algebras Mathematical and Theoretical Analysis Advanced Algebra and Logic |
| ISSN | 0219-0613 |
| Citation impact (2-yr) | 0.43 |
| h-index | 29 |
| i10-index | 90 |
| Total citations | 3,484 |
| Top institutions publishing here | Hebrew University of Jerusalem |
| Journal website | www.worldscinet.com |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
This paper develops the foundations of the descriptive set theory of countable Borel equivalence relations on Polish spaces with particular emphasis on the study of hyperfinite, amenable, treeable and universal equivalence relations.
Since the work of Gödel and Cohen, which showed that Hilbert's First Problem (the Continuum Hypothesis) was independent of the usual assumptions of mathematics (axiomatized by Zermelo–Fraenkel Set Theory with the Axiom of Choice, ZFC), there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic…
We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular…
We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore stability results in this new context. We assume that [Formula: see text] is a tame abstract elementary class satisfying the amalgamation property with no maximal…
We prove that from categoricity in λ + we can get categoricity in all cardinals ≥ λ + in a χ-tame abstract elementary classe [Formula: see text] which has arbitrarily large models and satisfies the amalgamation and joint embedding properties, provided [Formula: see text] and λ ≥ χ. For the missing case when [Formula: see…
