21 results
ON THE FRAGILITY OF INTERPOLATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 21 March 2024, pp. 1-38
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 February 2024, pp. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
$\mathbb {Q}$
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 29 September 2023, pp. 626-655
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-22
-
- 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
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
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
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
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 10 January 2022, pp. 381-417
- Print publication:
- March 2023
-
- Article
- Export citation
HTP-COMPLETE RINGS OF RATIONAL NUMBERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 22 November 2021, pp. 252-272
- Print publication:
- March 2022
-
- Article
- Export citation
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 785-800
- Print publication:
- June 2021
-
- Article
- Export citation
UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1376-1402
- Print publication:
- December 2020
-
- Article
- Export citation
THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 07 September 2020, pp. 1599-1606
- Print publication:
- December 2020
-
- Article
- Export citation
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 13 September 2019, pp. 459-482
- Print publication:
- September 2020
-
- Article
- Export citation
PROJECTIVE CLONE HOMOMORPHISMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 03 May 2019, pp. 148-161
- Print publication:
- March 2021
-
- Article
- Export citation
A NEW DP-MINIMAL EXPANSION OF THE INTEGERS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 04 March 2019, pp. 632-663
- Print publication:
- June 2019
-
- Article
- Export citation
${2^{{\aleph _0}}}$ PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 395-415
- Print publication:
- June 2018
-
- Article
- Export citation
DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 05 February 2018, pp. 40-54
- Print publication:
- March 2018
-
- Article
- Export citation
RETRACTIONS OF REVERSIBLE STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 09 January 2018, pp. 1422-1437
- Print publication:
- December 2017
-
- Article
- Export citation
SEPARABLE MODELS OF RANDOMIZATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1149-1181
- Print publication:
- December 2015
-
- Article
- Export citation