12 results
Chapter 7 - From Structuralism to Poststructuralism
-
- Book:
- Intellectual History and the Problem of Conceptual Change
- Published online:
- 02 May 2024
- Print publication:
- 09 May 2024, pp 145-166
-
- Chapter
- Export citation
FINITE UNDECIDABILITY IN NIP FIELDS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 October 2023, pp. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Undecidability of the Spectral Gap
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 10 / 2022
- Published online by Cambridge University Press:
- 10 June 2022, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 05 January 2021, pp. 224-240
- Print publication:
- December 2020
-
- Article
-
- You have access
- Open access
- Export citation
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-504
- Print publication:
- June 2022
-
- Article
- Export citation
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 21 July 2020, pp. 671-672
- Print publication:
- June 2020
-
- Article
- Export citation
INTERPRETING ARITHMETIC IN THE FIRST-ORDER THEORY OF ADDITION AND COPRIMALITY OF POLYNOMIAL RINGS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 09 May 2019, pp. 1194-1214
- Print publication:
- September 2019
-
- Article
- Export citation
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1566-1578
- Print publication:
- December 2018
-
- Article
- Export citation
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 567-586
- Print publication:
- June 2015
-
- Article
- Export citation
Flat algebras and the translation of universal Horn logic to equational logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-128
- Print publication:
- March 2008
-
- Article
- Export citation
Undecidability of infinite post correspondence problem for instances of Size 9
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 40 / Issue 4 / October 2006
- Published online by Cambridge University Press:
- 08 November 2006, pp. 551-557
- Print publication:
- October 2006
-
- Article
- Export citation
Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1014-1030
- Print publication:
- September 2000
-
- Article
- Export citation