Resultats globals: 12 registres trobats en 0.02 segons.
Llibres i col·leccions, 1 registres trobats
Documents de recerca, 11 registres trobats
Llibres i col·leccions 1 registres trobats  
1.
44 p, 1.3 MB Young Set Theory Workshop : Centre de Recerca Matemàtica, 14-18 April 2009 / Young Set Theory Workshop (2009 : Bellaterra, Catalunya) ; Dzamonja, Mirna ; Velickovic, Boban ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2012 (CRM Documents ; 7)  

Documents de recerca 11 registres trobats  1 - 10següent  anar al registre:
1.
92 p, 512.9 KB Smooth sets and two problems in the Dirichlet space / Seco Forsnacke, Daniel ; Nicolau, Artur, dir. (Universitat Autònoma de Barcelona. Departament de Matemàtiques) ; Universitat Autònoma de Barcelona. Departament de Matemàtiques
Estudiamos los conjuntos suaves en el sentido de nido por Hungerford en espacios eucl deos. Probamos una versin ms fuerte del Teorema de Hungerford sobre la dimensi on de Haus- dor de la frontera de estos conjuntos y mostramos la invariancia de la de nici on mediante una clase de homeomor smos del espacio ambiente. [...]
We study smooth sets in the sense de ned by Hungerford on Euclidean spaces. We prove a sharp form of Hungerford's Theorem on the Hausdor dimension of the boundary of these sets and show the invariance of the de nition under a class of homeomorphisms of the ambient space. [...]

[Barcelona] : Universitat Autònoma de Barcelona, 2013  
2.
11 p, 182.8 KB Consistency and optimality / Chen, Yijia ; Flum, Jörg ; Müller, Moritz ; Centre de Recerca Matemàtica
Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. [...]
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1014)  
3.
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)  
4.
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)  
5.
13 p, 164.0 KB Foundational implications of the inner model hypothesis / Arrigoni, Tatiana ; Friedman, Sy D. ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 995)  
6.
76 p, 446.3 KB Weak systems of Gandy, Jensen and Devlin / Mathias, A. R. D. ; Centre de Recerca Matemàtica
In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin's system BS lies strictly between Gandy's systems PZ and BST'; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin's treatise. [...]
Centre de Recerca Matemàtica 2005 (Prepublicacions del Centre de Recerca Matemàtica ; 614)  
7.
9 p, 133.5 KB Internal consistency and the inner model hypothesis / Friedman, Sy D. ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2006 (Prepublicacions del Centre de Recerca Matemàtica ; 661)  
8.
18 p, 296.3 KB The unbounded dead-end depth propertie is not a group invariant / Riley, Tim ; Warshall, Andrew D. ; Centre de Recerca Matemàtica
Vegeu el resum a l'inici del document del fitxer adjunt.
Centre de Recerca Matemàtica 2005 (Prepublicacions del Centre de Recerca Matemàtica ; 646)  
9.
15 p, 219.7 KB The orthogonal subcategory problem in homotopy theory / Casacuberta, Carles ; Chorny, Boris ; Centre de Recerca Matemàtica
It is known that, in a locally presentable category, localization exists with respect to every set of morphisms, while the statement that localization with respect to every (possibly proper) class of morphisms exists in locally presentable categories is equivalent to a large-cardinal axiom from set theory. [...]
Centre de Recerca Matemàtica 2005 (Prepublicacions del Centre de Recerca Matemàtica ; 651)  
10.
35 p, 322.4 KB A general construction of internal sheaves in algebraic set theory / Awodey, Steve ; Gambino, Nicola ; Lumsdaine, P. L. ; Warren, M. A. ; Centre de Recerca Matemàtica
We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
Centre de Recerca Matemàtica 2007 (Prepublicacions del Centre de Recerca Matemàtica ; 775)  

Documents de recerca : 11 registres trobats   1 - 10següent  anar al registre:
Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.