JSL volume 90 issue 1 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. b1, doi. 10.1017/jsl.2025.24
- Publication type:
- Article
Works matching IS 00224812 AND DT 2025 AND VI 90 AND IP 1
Results: 20
1
2
JSL volume 90 issue 1 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. f1, doi. 10.1017/jsl.2025.23
- Publication type:
- Article
3
A NOTE ON THE NON-EXISTENCE OF PRIME MODELS OF THEORIES OF PSEUDO-FINITE FIELDS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 52, doi. 10.1017/jsl.2025.18
- By:
- Publication type:
- Article
4
ON PROVING CONSISTENCY OF EQUATIONAL THEORIES IN BOUNDED ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 135, doi. 10.1017/jsl.2025.6
- By:
- Publication type:
- Article
5
THE COVERING NUMBERS OF SOME MYCIELSKI IDEALS MAY BE DIFFERENT.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 252, doi. 10.1017/jsl.2025.3
- By:
- Publication type:
- Article
6
ITERATION THEOREMS FOR SUBVERSIONS OF FORCING CLASSES.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 1, doi. 10.1017/jsl.2024.73
- By:
- Publication type:
- Article
7
ON A CONJECTURE REGARDING THE MOUSE ORDER FOR WEASELS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 364, doi. 10.1017/jsl.2024.63
- By:
- Publication type:
- Article
8
DISCRETE SETS DEFINABLE IN STRONG EXPANSIONS OF ORDERED ABELIAN GROUPS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 423, doi. 10.1017/jsl.2024.43
- By:
- Publication type:
- Article
9
A TERMINATING INTUITIONISTIC CALCULUS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 278, doi. 10.1017/jsl.2023.88
- By:
- Publication type:
- Article
10
DIMENSION AND MEASURE IN PSEUDOFINITE H -STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 68, doi. 10.1017/jsl.2023.75
- By:
- Publication type:
- Article
11
COMPUTABLE TOPOLOGICAL GROUPS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 188, doi. 10.1017/jsl.2023.67
- By:
- Publication type:
- Article
12
COLORING ISOSCELES TRIANGLES IN CHOICELESS SET THEORY.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 105, doi. 10.1017/jsl.2023.63
- By:
- Publication type:
- Article
13
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 166, doi. 10.1017/jsl.2023.58
- By:
- Publication type:
- Article
14
ABELIAN GROUPS DEFINABLE IN p -ADICALLY CLOSED FIELDS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 460, doi. 10.1017/jsl.2023.52
- By:
- Publication type:
- Article
15
ON EQUIVALENCE RELATIONS INDUCED BY LOCALLY COMPACT ABELIAN POLISH GROUPS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 221, doi. 10.1017/jsl.2023.35
- By:
- Publication type:
- Article
16
COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 237, doi. 10.1017/jsl.2023.34
- By:
- Publication type:
- Article
17
HYBRID PARTIAL TYPE THEORY.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 321, doi. 10.1017/jsl.2023.33
- By:
- Publication type:
- Article
18
SEMI-EQUATIONAL THEORIES.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 391, doi. 10.1017/jsl.2023.28
- By:
- Publication type:
- Article
19
A TOPOMETRIC EFFROS THEOREM.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 310, doi. 10.1017/jsl.2023.5
- By:
- Publication type:
- Article
20
SUSLIN TREE PRESERVATION AND CLUB ISOMORPHISMS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 298, doi. 10.1017/jsl.2022.89
- By:
- Publication type:
- Article