258 results in 03CXX
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
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 22 June 2022, pp. 1725-1752
- Print publication:
- December 2023
-
- Article
- Export citation
Revisiting closed asymptotic couples
- Part of
-
- Journal:
- Proceedings of the Edinburgh Mathematical Society / Volume 65 / Issue 2 / May 2022
- Published online by Cambridge University Press:
- 20 June 2022, pp. 530-555
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 15 June 2022, pp. 118-144
- Print publication:
- March 2023
-
- Article
- Export citation
THE SIMPLEST LOW LINEAR ORDER WITH NO COMPUTABLE COPIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 10 June 2022, pp. 97-111
- Print publication:
- March 2024
-
- Article
- Export citation
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 07 June 2022, pp. 1310-1320
- Print publication:
- September 2023
-
- Article
- Export citation
Invariant Ideal Axiom
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 10 / 2022
- Published online by Cambridge University Press:
- 20 May 2022, e29
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 May 2022, pp. 738-779
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CELLULAR CATEGORIES AND STABLE INDEPENDENCE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 18 May 2022, pp. 811-834
- Print publication:
- June 2023
-
- Article
- Export citation
Hensel minimality I
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 10 / 2022
- Published online by Cambridge University Press:
- 16 May 2022, e11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 28 April 2022, pp. 1064-1082
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRUCTURAL HIGHNESS NOTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 28 April 2022, pp. 1692-1724
- Print publication:
- December 2023
-
- Article
- Export citation
ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 27 April 2022, pp. 182-206
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Maranda’s theorem for pure-injective modules and duality
- Part of
-
- Journal:
- Canadian Journal of Mathematics / Volume 75 / Issue 2 / April 2023
- Published online by Cambridge University Press:
- 17 March 2022, pp. 581-607
- Print publication:
- April 2023
-
- Article
- Export citation
MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 14 March 2022, pp. 1443-1468
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Point counting for foliations over number fields
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 10 / 2022
- Published online by Cambridge University Press:
- 04 March 2022, e6
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
EUCLIDEAN NUMBERS AND NUMEROSITIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 21 February 2022, pp. 112-146
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1243-1259
- Print publication:
- September 2022
-
- Article
- Export citation