258 results in 03CXX
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 January 2024, pp. 1-7
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 09 January 2024, pp. 1-19
-
- Article
- Export citation
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 04 January 2024, pp. 516-548
- Print publication:
- June 2024
-
- Article
- Export citation
DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 December 2023, pp. 1-32
-
- Article
- Export citation
DIVIDING LINES BETWEEN POSITIVE THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 06 December 2023, pp. 1-25
-
- Article
- Export citation
ON LARGE EXTERNALLY DEFINABLE SETS IN NIP
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu , First View
- Published online by Cambridge University Press:
- 04 December 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 23 February 2024, pp. 664-665
- Print publication:
- December 2023
-
- Article
-
- You have access
- Export citation
Ordered Groups, Computability and Cantor-Bendixson Rank
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 23 February 2024, p. 664
- Print publication:
- December 2023
-
- Article
-
- You have access
- Export citation
LOGICS FROM ULTRAFILTERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 28 November 2023, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TWO EXAMPLES CONCERNING EXISTENTIAL UNDECIDABILITY IN FIELDS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 23 November 2023, pp. 1-12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON MODEL-THEORETIC CONNECTED GROUPS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 14 November 2023, pp. 50-79
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON UNSUPERSTABLE THEORIES IN GDST
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 06 November 2023, pp. 1-27
-
- Article
- Export citation
MAXIMAL STABLE QUOTIENTS OF INVARIANT TYPES IN NIP THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 October 2023, pp. 1-25
-
- Article
- Export citation
PAC STRUCTURES AS INVARIANTS OF FINITE GROUP ACTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 October 2023, pp. 1-36
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
UNDEFINABILITY OF MULTIPLICATION IN PRESBURGER ARITHMETIC WITH SETS OF POWERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 October 2023, pp. 1-15
-
- Article
- Export citation
Hensel minimality II: Mixed characteristic and a diophantine application
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 11 / 2023
- Published online by Cambridge University Press:
- 05 October 2023, e89
-
- 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
CLASSIFICATION OF
$\omega $-CATEGORICAL MONADICALLY STABLE STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 19 September 2023, pp. 460-495
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 11 September 2023, pp. 1354-1366
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
WEAK HEIRS, COHEIRS, AND THE ELLIS SEMIGROUPS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 September 2023, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation