Volume 80; Issue 1

Journal of Symbolic Logic

Volume 80; Issue 1
1

POSITIONAL STRATEGIES IN LONG EHRENFEUCHT–FRAÏSSÉ GAMES

SHELAH, S., VÄÄNÄNEN, J., VELIČKOVIĆ, B.
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 461 KB
english, 2015
2

A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES

KIM, BYUNGHAN, KIM, SUNYOUNG, LEE, JUNGUK
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 409 KB
english, 2015
3

BAD FIELDS WITH TORSION

CAYCEDO, JUAN DIEGO, HILS, MARTIN
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 337 KB
english, 2015
6

STRUCTURE THEORY OF L(ℝ, μ) AND ITS APPLICATIONS

TRANG, NAM
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 510 KB
english, 2015
7

BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS

ESCARDÓ, MARTÍN, OLIVA, PAULO
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 507 KB
english, 2015
8

SET FORCING AND STRONG CONDENSATION FOR H(ω 2)

WU, LIUZHEN
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 522 KB
english, 2015
9

DEFINABLE HENSELIAN VALUATIONS

JAHNKE, FRANZISKA, KOENIGSMANN, JOCHEN
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 342 KB
english, 2015
11

EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS

FEHM, ARNO
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 282 KB
english, 2015
12

FRAÏSSÉ LIMITS OF METRIC STRUCTURES

YAACOV, ITAÏ BEN
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 392 KB
english, 2015
13

LOCALLY CONSTANT FUNCTIONS IN C-MINIMAL STRUCTURES

KOVACSICS, PABLO CUBIDES
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 386 KB
english, 2015
15

A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS

CINTULA, PETR, NOGUERA, CARLES
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 389 KB
english, 2015
16

MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS

EALY, CLIFTON F., MAŘÍKOVÁ, JANA
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 375 KB
english, 2015
17

ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS

KREUZER, ALEXANDER P.
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 344 KB
english, 2015
18

GENERICALLY STABLE REGULAR TYPES

TANOVIĆ, PREDRAG
Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 345 KB
english, 2015
19

JSL volume 80 issue 1 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2015
Language:
english
File:
PDF, 220 KB
english, 2015