JSL volume 83 issue 3 Cover and Back matter.
- Published in:
- 2018
- Publication type:
- Other
Works matching IS 00224812 AND DT 2018 AND VI 83 AND IP 3
Results: 21
1
2
JSL volume 83 issue 3 Cover and Front matter.
- Published in:
- 2018
- Publication type:
- Other
3
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 899, doi. 10.1017/jsl.2018.47
- By:
- Publication type:
- Article
4
THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 920, doi. 10.1017/jsl.2018.45
- By:
- Publication type:
- Article
5
ON THE STRUCTURE OF GROUPS ENDOWED WITH A COMPATIBLE C-RELATION.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 939, doi. 10.1017/jsl.2018.41
- By:
- Publication type:
- Article
6
PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1091, doi. 10.1017/jsl.2018.36
- By:
- Publication type:
- Article
7
CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1063, doi. 10.1017/jsl.2018.14
- By:
- Publication type:
- Article
8
INFINITE COMBINATORICS PLAIN AND SIMPLE.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1247, doi. 10.1017/jsl.2018.8
- By:
- Publication type:
- Article
9
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 967, doi. 10.1017/jsl.2018.34
- By:
- Publication type:
- Article
10
THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1190, doi. 10.1017/jsl.2018.25
- By:
- Publication type:
- Article
11
SUBCOMPLETE FORCING, TREES, AND GENERIC ABSOLUTENESS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1282, doi. 10.1017/jsl.2018.23
- By:
- Publication type:
- Article
12
AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1147, doi. 10.1017/jsl.2018.7
- By:
- Publication type:
- Article
13
ON C <sup>(n)</sup>-EXTENDIBLE CARDINALS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1112, doi. 10.1017/jsl.2018.31
- By:
- Publication type:
- Article
14
PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1229, doi. 10.1017/jsl.2018.27
- By:
- Publication type:
- Article
15
SIMPLE GROUPS OF MORLEY RANK 5 ARE BAD.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1217, doi. 10.1017/jsl.2017.86
- By:
- Publication type:
- Article
16
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1132, doi. 10.1017/jsl.2017.84
- By:
- Publication type:
- Article
17
UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1204, doi. 10.1017/jsl.2017.80
- By:
- Publication type:
- Article
18
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 829, doi. 10.1017/jsl.2017.79
- By:
- Publication type:
- Article
19
TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 868, doi. 10.1017/jsl.2017.77
- By:
- Publication type:
- Article
20
INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 991, doi. 10.1017/jsl.2017.63
- By:
- Publication type:
- Article
21
TOWERS IN FILTERS, CARDINAL INVARIANTS, AND LUZIN TYPE FAMILIES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1013, doi. 10.1017/jsl.2017.52
- By:
- Publication type:
- Article