Works matching IS 00224812 AND DT 2016 AND VI 81 AND IP 3

Results: 24

JSL volume 81 issue 3 Cover and Back matter.

Published in:: Journal of Symbolic Logic, 2016, v. 81, n. 3, p. b1, doi. 10.1017/jsl.2016.57
Publication type:: Article

JSL volume 81 issue 3 Cover and Front matter.

Published in:: Journal of Symbolic Logic, 2016, v. 81, n. 3, p. f1, doi. 10.1017/jsl.2016.56
Publication type:: Article

DENSE IDEALS AND CARDINAL ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 789, doi. 10.1017/jsl.2016.49

By:

ESKEW, MONROE

Publication type:

Article

GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 917, doi. 10.1017/jsl.2016.46

By:

SUSTRETOV, DMITRY

Publication type:

Article

DEFINABILITY OF SATISFACTION IN OUTER MODELS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1047, doi. 10.1017/jsl.2016.33

By:

FRIEDMAN, SY-DAVID;
HONZIK, RADEK

Publication type:

Article

REDUCED PRODUCTS OF METRIC STRUCTURES: A METRIC FEFERMAN–VAUGHT THEOREM.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 856, doi. 10.1017/jsl.2016.20

By:

GHASEMI, SAEED

Publication type:

Article

STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1069, doi. 10.1017/jsl.2016.11

By:

PINTER, CHARLES C.

Publication type:

Article

CONSTRUCTING MANY ATOMIC MODELS IN ℵ1.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1142, doi. 10.1017/jsl.2015.81

By:

BALDWIN, JOHN T.;
LASKOWSKI, MICHAEL C.;
SHELAH, SAHARON

Publication type:

Article

REDUCTS OF STRUCTURES AND MAXIMAL-CLOSED PERMUTATION GROUPS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1087, doi. 10.1017/jsl.2015.78

By:

BODIRSKY, MANUEL;
MACPHERSON, DUGALD

Publication type:

Article

COMPARING TWO VERSIONS OF THE REALS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1115, doi. 10.1017/jsl.2015.77

By:

IGUSA, G.;
KNIGHT, J. F.

Publication type:

Article

ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 951, doi. 10.1017/jsl.2015.74

By:

MEIR, NADAV

Publication type:

Article

CONSEQUENCES OF THE EXISTENCE OF AMPLE GENERICS AND AUTOMORPHISM GROUPS OF HOMOGENEOUS METRIC STRUCTURES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 876, doi. 10.1017/jsl.2015.73

By:

MALICKI, MACIEJ

Publication type:

Article

COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1028, doi. 10.1017/jsl.2015.70

By:

HIRSCHFELDT, DENIS R.;
JOCKUSCH, CARL G.;
KUYPER, RUTGER;
SCHUPP, PAUL E.

Publication type:

Article

ON REALS WITH ${\rm{\Delta }}_2^0$-BOUNDED COMPLEXITY AND COMPRESSIVE POWER.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 833, doi. 10.1017/jsl.2015.68

By:

HERBERT, IAN

Publication type:

Article

INNER MODEL THEORETIC GEOLOGY.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 972, doi. 10.1017/jsl.2015.64

By:

FUCHS, GUNTER;
SCHINDLER, RALF

Publication type:

Article

SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 887, doi. 10.1017/jsl.2015.62

By:

HONG, JIZHAN

Publication type:

Article

THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 997, doi. 10.1017/jsl.2015.59

By:

ANDREWS, URI;
CAI, MINGZHONG;
KALIMULLIN, ISKANDER SH.;
LEMPP, STEFFEN;
MILLER, JOSEPH S.;
MONTALBÁN, ANTONIO

Publication type:

Article

FREE AMALGAMATION AND AUTOMORPHISM GROUPS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 936, doi. 10.1017/jsl.2015.57

By:

BAUDISCH, ANDREAS

Publication type:

Article

END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 901, doi. 10.1017/jsl.2015.53

By:

KOŁODZIEJCZYK, LESZEK ALEKSANDER

Publication type:

Article

ILLUSORY MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1163, doi. 10.1017/jsl.2015.52

By:

KIKUCHI, MAKOTO;
KURAHASHI, TAISHI

Publication type:

Article

INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1124, doi. 10.1017/jsl.2015.38

By:

KOVACSICS, PABLO CUBIDES;
LEENKNEGT, EVA

Publication type:

Article

EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1007, doi. 10.1017/jsl.2015.34

By:

HIERONYMI, PHILIPP

Publication type:

Article

COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 814, doi. 10.1017/jsl.2015.30

By:

KNIGHT, JULIA;
MONTALBÁN, ANTONIO;
SCHWEBER, NOAH

Publication type:

Article

NFSI IS NOT INCLUDED IN NF3.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 948, doi. 10.1017/jsl.2015.29

By:

CRABBÉ, MARCEL

Publication type:

Article