11 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. 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
LOGICALITY AND MODEL CLASSES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 26 July 2021, pp. 385-414
- 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. 1706-1720
- Print publication:
- December 2021
-
- Article
- Export citation
9 - On Vaught’s conjecture
- from Part VIII - Other Topics
-
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 179-195
-
- Chapter
- Export citation
THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 29 July 2020, pp. 869-905
- Print publication:
- September 2020
-
- Article
- Export citation
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 291-305
- Print publication:
- September 2018
-
- Article
- Export citation
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 01 August 2017, pp. 663-681
- Print publication:
- December 2017
-
- Article
- Export citation
RESOLVING INFINITARY PARADOXES
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 709-723
- Print publication:
- June 2017
-
- Article
- Export citation
CONSTRUCTING MANY ATOMIC MODELS IN ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 14 September 2016, pp. 1142-1162
- Print publication:
- September 2016
-
- Article
- Export citation
On inverse γ-systems and the number of L∞λ-equivalent, non-isomorphic models for λ singular
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-284
- Print publication:
- March 2000
-
- Article
- Export citation