Found: 21
Select item for more details and to access through your institution.
JSL volume 83 issue 3 Cover and Back matter.
- Published in:
- 2018
- Publication type:
- Other
JSL volume 83 issue 3 Cover and Front matter.
- Published in:
- 2018
- Publication type:
- Other
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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