EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 452, doi. 10.1017/jsl.2018.32
- By:
- Publication type:
- Article
Works matching IS 00224812 AND DT 2019 AND VI 84 AND IP 2
Results: 22
1
2
A CORRECT POLYNOMIAL TRANSLATION OF S4 INTO INTUITIONISTIC LOGIC.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 439, doi. 10.1017/jsl.2017.66
- By:
- Publication type:
- Article
3
JSL volume 84 issue 2 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. b1, doi. 10.1017/jsl.2019.10
- Publication type:
- Article
4
DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 704, doi. 10.1017/jsl.2019.29
- By:
- Publication type:
- Article
5
MINIMUM MODELS OF SECOND-ORDER SET THEORIES.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 589, doi. 10.1017/jsl.2019.27
- By:
- Publication type:
- Article
6
JSL volume 84 issue 2 Cover and Front matter.
- Published in:
- 2019
- Publication type:
- Table of Contents
7
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 533, doi. 10.1017/jsl.2019.22
- By:
- Publication type:
- Article
8
A NEW DP-MINIMAL EXPANSION OF THE INTEGERS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 632, doi. 10.1017/jsl.2019.15
- By:
- Publication type:
- Article
9
ON A METRIC GENERALIZATION OF THE tt -DEGREES AND EFFECTIVE DIMENSION THEORY.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 726, doi. 10.1017/jsl.2019.18
- By:
- Publication type:
- Article
10
A SEPARATION RESULT FOR COUNTABLE UNIONS OF BOREL RECTANGLES.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 517, doi. 10.1017/jsl.2019.13
- By:
- Publication type:
- Article
11
INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 750, doi. 10.1017/jsl.2019.8
- By:
- Publication type:
- Article
12
MARKOV'S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 870, doi. 10.1017/jsl.2019.7
- By:
- Publication type:
- Article
13
G <sub> δ </sub> Sets IN σ-IDEALS GENERATED BY COMPACT SETS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 781, doi. 10.1017/jsl.2019.6
- By:
- Publication type:
- Article
14
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 621, doi. 10.1017/jsl.2019.4
- By:
- Publication type:
- Article
15
A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 664, doi. 10.1017/jsl.2018.85
- By:
- Publication type:
- Article
16
ITP, ISP, AND SCH.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 713, doi. 10.1017/jsl.2019.2
- By:
- Publication type:
- Article
17
ALGEBRAIC NEW FOUNDATIONS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 798, doi. 10.1017/jsl.2018.86
- By:
- Publication type:
- Article
18
SPACES OF TYPES IN POSITIVE MODEL THEORY.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 833, doi. 10.1017/jsl.2018.84
- By:
- Publication type:
- Article
19
AXIOMATIZATION OF PROVABLE n -PROVABILITY.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 849, doi. 10.1017/jsl.2018.82
- By:
- Publication type:
- Article
20
THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 684, doi. 10.1017/jsl.2018.74
- By:
- Publication type:
- Article
21
BEING LOW ALONG A SEQUENCE AND ELSEWHERE.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 497, doi. 10.1017/jsl.2018.63
- By:
- Publication type:
- Article
22
A TAIL CONE VERSION OF THE HALPERN–LÄUCHLI THEOREM AT A LARGE CARDINAL.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 473, doi. 10.1017/jsl.2017.55
- By:
- Publication type:
- Article