255 results in 03CXX
Model Theory in a Paraconsistent Environment
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, p. 216
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 06 May 2021, pp. 531-557
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE LATTICE OF SUPER-BELNAP LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 21 April 2021, pp. 114-163
- Print publication:
- March 2023
-
- Article
- Export citation
A CLASS OF FIELDS WITH A RESTRICTED MODEL COMPLETENESS PROPERTY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 26 March 2021, pp. 701-708
- Print publication:
- June 2021
-
- Article
- Export citation
RAMSEY’S COHEIRS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 15 February 2021, pp. 377-391
- Print publication:
- March 2022
-
- Article
- Export citation
THICKET DENSITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 15 February 2021, pp. 110-127
- Print publication:
- March 2021
-
- Article
- Export citation
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 15 February 2021, pp. 801-816
- Print publication:
- June 2021
-
- Article
- Export citation
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 03 February 2021, pp. 1228-1258
- Print publication:
- September 2021
-
- 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
$[0,n]\cup \{\omega \}$ IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 1632-1656
- Print publication:
- December 2021
-
- Article
- Export citation
CORES OVER RAMSEY STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 352-361
- Print publication:
- March 2021
-
- Article
- Export citation
ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 1508-1540
- 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
INQUISITIVE BISIMULATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 30 October 2020, pp. 77-109
- Print publication:
- March 2021
-
- Article
- Export citation
THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1717-1741
- Print publication:
- December 2020
-
- Article
- Export citation
AROUND RUBIN’S “THEORIES OF LINEAR ORDER”
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 27 October 2020, pp. 1403-1426
- Print publication:
- December 2020
-
- Article
- Export citation
PSEUDO-FINITE SETS, PSEUDO-O-MINIMALITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 26 October 2020, pp. 577-599
- Print publication:
- June 2021
-
- Article
- Export citation
ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 26 October 2020, pp. 1467-1498
- Print publication:
- December 2020
-
- 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. 1664-1686
- Print publication:
- December 2020
-
- Article
- Export citation
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 1486-1507
- Print publication:
- December 2021
-
- Article
- Export citation