255 results in 03CXX
THEORIES WITH DISTAL SHELAH EXPANSIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 08 March 2023, pp. 1323-1333
- Print publication:
- December 2023
-
- Article
- Export citation
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 15 March 2023, pp. 1-18
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Multisummability for generalized power series
- Part of
-
- Journal:
- Canadian Journal of Mathematics / Volume 76 / Issue 2 / April 2024
- Published online by Cambridge University Press:
- 27 February 2023, pp. 458-494
- Print publication:
- April 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SATURATED MODELS FOR THE WORKING MODEL THEORIST
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 17 February 2023, pp. 163-169
- Print publication:
- June 2023
-
- Article
- Export citation
ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 06 February 2023, pp. 1639-1654
- Print publication:
- December 2023
-
- Article
- Export citation
MAXIMALITY OF LOGIC WITHOUT IDENTITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 10 January 2023, pp. 147-162
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SELF-EMBEDDINGS OF MODELS OF ARITHMETIC; FIXED POINTS, SMALL SUBMODELS, AND EXTENDABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 December 2022, pp. 1-23
-
- Article
- Export citation
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 19 December 2022, pp. 646-664
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NSOP$_1$-LIKE INDEPENDENCE IN AECATS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 12 December 2022, pp. 724-757
- Print publication:
- June 2024
-
- Article
- Export citation
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 12 December 2022, pp. 1526-1555
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Boolean-Valued Models and Their Applications
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, p. 533
- Print publication:
- December 2022
-
- Article
-
- You have access
- Export citation
Independence Relations in Abstract Elementary Categories
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, p. 531
- Print publication:
- December 2022
-
- Article
-
- You have access
- Export citation
O-minimal de Rham Cohomology
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, p. 529
- Print publication:
- December 2022
-
- Article
-
- You have access
- HTML
- Export citation
Cohomology of algebraic varieties over non-archimedean fields
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 10 / 2022
- Published online by Cambridge University Press:
- 21 October 2022, e94
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 17 October 2022, pp. 128-144
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE TURING DEGREES AND KEISLER’S ORDER
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 07 September 2022, pp. 331-341
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DISTALITY RANK
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 15 August 2022, pp. 704-737
- Print publication:
- June 2023
-
- Article
- Export citation
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 12 August 2022, pp. 611-633
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 1-35
- Print publication:
- March 2024
-
- Article
- Export citation
MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 22 / Issue 6 / November 2023
- Published online by Cambridge University Press:
- 30 June 2022, pp. 2943-2985
- Print publication:
- November 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation