Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Sy David Friedman (Estats Units)
Publicacions
Equivalence relations in set theory, computation theory, model theory and complexity theory, 2011
FRIEDMAN, S.-D. *Equivalence relations in set theory, computation theory, model theory and complexity theory*. Publicacions del CRM, núm. 1039 (2011)
Forcing with finite conditions, 2003
FRIEDMAN, S.D. *Forcing with finite conditions*. Publicacions del CRM, núm. 556 (2003)
Foundational implications of the inner model hypothesis, 2010
ARRIGONI, T. & FRIEDMAN, S.-D. *Foundational implications of the inner model hypothesis*. Publicacions del CRM, núm. 995 (2010)
Generalized descriptive set theory and classification theory, 2010
FRIEDMAN, S.-D.; HYTTINEN, T. & KULIKOV, V. *Generalized descriptive set theory and classification theory*. Publicacions del CRM, núm. 999 (2010)
Internal consistency and the inner model hypothesis, 2006
FRIEDMAN, S.D. *Internal consistency and the inner model hypothesis*. Publicacions del CRM, núm. 661 (2006)
Isomorphism relations on computable structures, 2011
FOKINA, E.B.; FRIEDMAN, S.-D.; HARIZANOV, V.; KNIGHT, J.F.; McCOY, C. & MONTALBÁN, A. *Isomorphism relations on computable structures*. Publicacions del CRM, núm. 1003 (2011)
Large cardinals and L-like universes, 2005
FRIEDMAN, S. *Large cardinals and L-like universes*. Publicacions del CRM, núm. 648 (2005)
On absoluteness of categoricity in Abstract Elementary Classes, 2011
FRIEDMAN, S.D. & KOERWIEN, M. `On absoluteness of categoricity in Abstract Elementary classes´. *Notre Dame Journal of Formal Logic*; volume 52 (4), 395–402 (2011)
On absoluteness of categoricity in abstract elementary classes, 2011
FRIEDMAN, S.-D. & KOERWIEN, M. *On absoluteness of categoricity in abstract elementary classes*. Publicacions del CRM, núm. 1002 (2011)
On Borel equivalence relations in generalized Baire space, 2011
FRIEDMAN, S.-D. & HYTTINEN, T. *On Borel equivalence relations in generalized Baire space*. Publicacions del CRM, núm. 1025 (2011)
On S?1,1 equivalence relations over the natural numbers, 2011
FOKINA, E.B. & FRIEDMAN, S.-D. *On S?1,1 equivalence relations over the natural numbers*. Publicacions del CRM, núm. 1040 (2011)
Potential isomorphism of elementary substructures of a strictly stable homogeneous model, 2011
FRIEDMAN, S.-D.; HYTTINEN, T. & WALCZAK-TYPKE, A.C. *Potential isomorphism of elementary substructures of a strictly stable homogeneous model*. Publicacions del CRM, núm. 1005 (2011)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM, J.; FRIEDMAN, S.D. & MÜLLER, M. `Strong isomorphism reductions in complexity theory´. *The Journal of Symbolic Logic*; 76, 1381-1402 (2011)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM J.; FRIEDMAN, S.-D. & MÜLLER, M. *Strong isomorphism reductions in complexity theory*. Publicacions del CRM, núm. 1009 (2011)
The non-absoluteness of model existence in uncountable cardinals for L?w1,w, 2011
FRIEDMAN, S.-D.; HYTTINEN, T. & KOERWIEN, M. *The non-absoluteness of model existence in uncountable cardinals for L?w1,w*. Publicacions del CRM, núm. 1018 (2011)
The non-absoluteness of model existence in uncountable cardinals for L_omega1,omega, 2010
FRIEDMAN, S.D. & KOERWIEN, M. *The non-absoluteness of model existence in uncountable cardinals for L_omega1,omega*. Preprint (2010)
Participacions a Congressos
Meeting on Mathematical Logic (BLM94)
CRM, Bellaterra (27/1/1994- 29/1/1994)
6th Barcelona Logic Meeting (BLM00)
Barcelona (5/7/2000- 8/7/2000)
Finançat pel programa "High Level Scientific Conferences" de la Comissió Europea, per la Dirección General de Enseñanza Superior e Investigación Científica, per la Direcció General de Recerca i per la Univ. Barcelona
Altres activitats (conferències, seminaris)
Ponent de congrés - Massachusetts Inst. Technology - [27/1/1994 - 29/1/1994]
The combinatorial content of V=L (27/1/1994)
Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta
Investigador visitant - Massachusetts Inst. Technology - Teoria de conjunts [16/12/1994 - 14/1/1995]
Coding the Universe (21/12/1994)
Investigador visitant - Massachusetts Inst. Technology - Teoria de conjunts [16/12/1994 - 14/1/1995]
Fine structure and class forcing (1/1/1995)
No en consta la data exacta
Ponent de congrés - Univ. Wien - [5/7/2000 - 8/7/2000]
Aspects of pure set theory (5/7/2000)
Dins el 6th Barcelona Logic Meeting, 5 a 8 juliol 2000. No en consta la data exacta
Investigador visitant - Univ. Wien - Lògica [8/6/2004 - 13/6/2004]
Criteria for the Choice of New Axioms (9/6/2004)
Dins el Workshop on the Foundations of Set Theory, 9 a 12 juny 2004. No en consta la data exacta