default search action

combined dblp search
author search
venue search
publication search

ask others

The Journal of Symbolic Logic, Volume 90

> Home > Journals > The Journal of Symbolic Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 90, Number 1, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/FuchsS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/FuchsS25
Gunter Fuchs, Corey Bacal Switzer:
Iteration theorems for Subversions of forcing Classes. 1-51
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Chatzidakis25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Chatzidakis25
Zoé Chatzidakis:
A note on the non-existence of Prime Models of Theories of Pseudo-finite Fields. 52-67
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BerensteinGZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BerensteinGZ25
Alexander Berenstein, Darío García, Tingxiang Zou:
Dimension and Measure in pseudofinite H-Structures. 68-104
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Zhou25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Zhou25
Yuxin Zhou:
Coloring Isosceles Triangles in Choiceless Set Theory. 105-134
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/BeckmannY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/BeckmannY25
Arnold Beckmann, Yoriyuki Yamagata:
On Proving Consistency of Equational Theories in Bounded Arithmetic. 135-165
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/MalinowskiN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/MalinowskiN25
Adam Malinowski, Ludomir Newelski:
Weak Heirs, Coheirs, and the Ellis Semigroups. 166-187
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/KohMN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/KohMN25
Heer Tern Koh, Alexander G. Melnikov, Keng Meng Ng:
Computable Topological Groups. 188-220
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/DingZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/DingZ25
Longyun Ding, Yang Zheng:
On Equivalence Relations induced by Locally Compact Abelian Polish Groups. 221-236
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Boney25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Boney25
Will Boney:
Cofinality Quantifiers in Abstract Elementary Classes and beyond. 237-251
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Spinas25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Spinas25
Otmar Spinas:
The Covering numbers of some Mycielski ideals May be Different. 252-277
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/FellinN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/FellinN25
Giulio Fellin, Sara Negri:
A Terminating intuitionistic Calculus. 278-297
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Krueger25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Krueger25
John Krueger:
Suslin Tree Preservation and Club Isomorphisms. 298-309
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/YaacovM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/YaacovM25
Itaï Ben Yaacov, Julien Melleray:
A topometric Effros Theorem. 310-320
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/ManzanoHBMA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/ManzanoHBMA25
María Manzano, Antonia Huertas, Patrick Blackburn, Manuel A. Martins, Víctor Aranda:
Hybrid Partial Type Theory. 321-363
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/KruschewskiS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/KruschewskiS25
Jan Kruschewski, Farmer Schlutzenberg:
On a Conjecture regarding the mouse order for Weasels. 364-390
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/ChernikovM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/ChernikovM25
Artem Chernikov, Alex Mennen:
Semi-Equational Theories. 391-422
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/DolichG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/DolichG25
Alfred Dolich, John Goodrick:
Discrete Sets Definable in Strong expansions of Ordered Abelian Groups. 423-459
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/JohnsonY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/JohnsonY25
Will Johnson, Ningyuan Yao:
Abelian Groups Definable in P-Adically closed Fields. 460-481

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.