JSL volume 80 issue 1 Cover and Back matter.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. b1, doi. 10.1017/jsl.2014.12
- Publication type:
- Article
Works matching IS 00224812 AND DT 2015 AND VI 80 AND IP 1
Results: 20
1
2
JSL volume 80 issue 1 Cover and Front matter.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. f1, doi. 10.1017/jsl.2015.24
- Publication type:
- Article
3
BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 1, doi. 10.1017/jsl.2014.82
- By:
- Publication type:
- Article
4
FRAÏSSÉ LIMITS OF METRIC STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 100, doi. 10.1017/jsl.2014.71
- By:
- Publication type:
- Article
5
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 145, doi. 10.1017/jsl.2014.69
- By:
- Publication type:
- Article
6
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 116, doi. 10.1017/jsl.2014.68
- By:
- Publication type:
- Article
7
STRUCTURE THEORY OF L(ℝ, μ) AND ITS APPLICATIONS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 29, doi. 10.1017/jsl.2014.65
- By:
- Publication type:
- Article
8
DEFINABLE HENSELIAN VALUATIONS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 85, doi. 10.1017/jsl.2014.64
- By:
- Publication type:
- Article
9
SET FORCING AND STRONG CONDENSATION FOR H(ω2).
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 56, doi. 10.1017/jsl.2014.62
- By:
- Publication type:
- Article
10
ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 179, doi. 10.1017/jsl.2014.58
- By:
- Publication type:
- Article
11
A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 322, doi. 10.1017/jsl.2014.44
- By:
- Publication type:
- Article
12
POSITIONAL STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 285, doi. 10.1017/jsl.2014.43
- By:
- Publication type:
- Article
13
LOCALLY CONSTANT FUNCTIONS IN C-MINIMAL STRUCTURES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 207, doi. 10.1017/jsl.2014.26
- By:
- Publication type:
- Article
14
GENERICALLY STABLE REGULAR TYPES.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 308, doi. 10.1017/jsl.2014.24
- By:
- Publication type:
- Article
15
BAD FIELDS WITH TORSION.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 221, doi. 10.1017/jsl.2014.22
- By:
- Publication type:
- Article
16
A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 194, doi. 10.1017/jsl.2014.21
- By:
- Publication type:
- Article
17
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 341, doi. 10.1017/jsl.2014.19
- By:
- Publication type:
- Article
18
EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 301, doi. 10.1017/jsl.2014.13
- By:
- Publication type:
- Article
19
MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 234, doi. 10.1017/jsl.2014.3
- By:
- Publication type:
- Article
20
LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH.
- Published in:
- Journal of Symbolic Logic, 2015, v. 80, n. 1, p. 251, doi. 10.1017/jsl.2013.41
- By:
- Publication type:
- Article