Resultados globales: 5 registros encontrados en 0.01 segundos.
Documentos de investigación, Encontrados 5 registros
Documentos de investigación Encontrados 5 registros  
1.
19 p, 224.4 KB Equivalence relations in set theory, computation theory, model theory and complexity theory / Friedman, Sy D. ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1039)  
2.
21 p, 274.0 KB Potential isomorphism of elementary substructures of a strictly stable homogeneous model / Friedman, Sy D. ; Hyttinen, Tapani ; Walczak-Typke, Agatha C. ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1005)  
3.
99 p, 601.1 KB Generalized descriptive set theory and classification theory / Friedman, Sy D. ; Hyttinen, Tapani ; Kulikov, Vadim ; Centre de Recerca Matemàtica
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. [...]
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 999)  
4.
13 p, 198.6 KB Isomorphism relations on computable structures / Fokina, Ekaterina, B. ; Friedman, Sy D. ; Harizanov, Valentina ; Knight, Julia F. ; McCoy, Charles ; Montalbán, Antonio ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1003)  
5.
30 p, 629.9 KB Beyond first order logic: From number of structures to structure of numbers / Baldwin, John T. ; Hyttinen, Tapani ; Kesälä, Meeri ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 994)  

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.