Found: 20
Select item for more details and to access through your institution.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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