19 results
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. 118

 Article

 You have access
 Open access
 HTML
 Export citation
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDOELEMENTARY 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. 118
 Print publication:
 March 2023

 Article

 You have access
 Open access
 HTML
 Export citation
A MINIMAL SET LOW FOR SPEED
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
 Published online by Cambridge University Press:
 03 January 2022, pp. 16931728
 Print publication:
 December 2022

 Article
 Export citation
AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
 Published online by Cambridge University Press:
 15 November 2021, pp. 71103
 Print publication:
 March 2022

 Article
 Export citation
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 12 August 2021, pp. 16121631
 Print publication:
 December 2021

 Article
 Export citation
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 01 February 2021, pp. 17061720
 Print publication:
 December 2021

 Article
 Export citation
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
 Published online by Cambridge University Press:
 26 October 2020, pp. 16641686
 Print publication:
 December 2020

 Article
 Export citation
RELATIONSHIPS BETWEEN COMPUTABILITYTHEORETIC PROPERTIES OF PROBLEMS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
 Published online by Cambridge University Press:
 05 October 2020, pp. 4771
 Print publication:
 March 2022

 Article
 Export citation
THE TREE OF TUPLES OF A STRUCTURE
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
 Published online by Cambridge University Press:
 07 September 2020, pp. 2146
 Print publication:
 March 2022

 Article
 Export citation
THE LOGIC OF COMPARATIVE CARDINALITY
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
 Published online by Cambridge University Press:
 22 June 2020, pp. 9721005
 Print publication:
 September 2020

 Article
 Export citation
FIRSTORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS

 Journal:
 The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
 Published online by Cambridge University Press:
 02 September 2019, pp. 637662
 Print publication:
 December 2019

 Article
 Export citation
AUTOMATIC AND POLYNOMIALTIME ALGEBRAIC STRUCTURES

 Journal:
 The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
 Published online by Cambridge University Press:
 29 April 2019, pp. 16301669
 Print publication:
 December 2019

 Article
 Export citation
The Complexity of Countable Structures

 Journal:
 Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
 Published online by Cambridge University Press:
 02 January 2019, pp. 465466
 Print publication:
 December 2018

 Article

 You have access
 Export citation
BOREL FUNCTORS AND INFINITARY INTERPRETATIONS

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
 Published online by Cambridge University Press:
 05 October 2018, pp. 14341456
 Print publication:
 December 2018

 Article
 Export citation
LEFTORDERABLE COMPUTABLE GROUPS

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
 Published online by Cambridge University Press:
 05 February 2018, pp. 237255
 Print publication:
 March 2018

 Article
 Export citation
On Computable Field Embeddings and Difference Closed Fields

 Journal:
 Canadian Journal of Mathematics / Volume 69 / Issue 6 / 01 December 2017
 Published online by Cambridge University Press:
 20 November 2018, pp. 13381363
 Print publication:
 01 December 2017

 Article

 You have access
 Export citation
DEGREES OF CATEGORICITY ON A CONE VIA ηSYSTEMS

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
 Published online by Cambridge University Press:
 21 March 2017, pp. 325346
 Print publication:
 March 2017

 Article
 Export citation
COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
 Published online by Cambridge University Press:
 25 January 2017, pp. 7797
 Print publication:
 March 2017

 Article
 Export citation
DIFFERENTIALALGEBRAIC JET SPACES PRESERVE INTERNALITY TO THE CONSTANTS

 Journal:
 The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
 Published online by Cambridge University Press:
 22 July 2015, pp. 10221034
 Print publication:
 September 2015

 Article
 Export citation