260 results in 03CXX
COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 April 2023, pp. 1-26
-
- Article
- Export citation
INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 April 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
REMARKS ON CONVERGENCE OF MORLEY SEQUENCES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 April 2023, pp. 1-19
-
- Article
- Export citation
THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 20 March 2023, pp. 1005-1037
- Print publication:
- September 2023
-
- Article
- Export citation
ON COHESIVE POWERS OF LINEAR ORDERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 13 March 2023, pp. 947-1004
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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