서울대학교 외국학술지지원센터(FRIC)

서울대학교 외국학술지지원센터(FRIC)는 국내 모든 연구자에게 자연과학 분야 원문복사 서비스를 무료로 제공하고 있습니다.

CURRENT CONTENTS/Mathmatics

Journal of Symbolic Logic v.76, n.1, 2011

seoulfric 2011. 3. 14. 13:44

Volume 76, Issue 1

Publication Date: March 2011

Cardinal characteristics on graphs

Nick Haverkamp; 1-33

The club principle and the distributivity number

Heike Mildenberger; 34-46

A complicated ω-stable depth 2 theory

Martin Koerwien; 47-65

Computability of Fraïssé limits

Barbara F. Csima, Valentina S. Harizanov, Russell Miller and Antonio Montalbán; 66-93

Double-exponential inseparability of Robinson subsystem Q+

Lavinia Egidi and Giovanni Faglia; 94-124

Iterative differential Galois theory in positive characteristic: A model theoretic approach

Javier Moreno; 125-142

Weihrauch degrees, omniscience principles and weak computability

Vasco Brattka and Guido Gherardi; 143-176

On the jump classes of noncuppable enumeration degrees

Charles M. Harris; 177-197

Mad families, splitting families and large continuum

Jörg Brendle and Vera Fischer; 198-208

Invariant measures on groups satisfying various chain conditions

Vinicius Cifú Lopes and Lou van den Dries; 209-226

On the generic type of the free group

Rizos Sklinos; 227-234

Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces

Vinicius Cifú Lopes; 235-242

Analytic equivalence relations and bi-embeddability

Sy-David Friedman and Luca Motto Ros; 243-266

Coding true arithmetic in the Medvedev and Muchnik degrees

Paul Shafer; 267-288

Benign cost functions and lowness properties

Noam Greenberg and André Nies; 289-312

On the non-confluence of cut-elimination

Matthias Baaz and Stefan Hetzl; 313-340

A theorem on partial conservativity in arithmetic

Per Lindström; 341-347

Stable division rings

Cédric Milliet; 348-352

Hindman's theorem: an ultrafilter argument in second order arithmetic

Henry Towsner; 353-360