mathematical logic
72 проекта
FP7Индивидуална стипендия2010–2012Обединеното кралство
MODGROUP · The Model Theory of Groups
FP7Реинтеграция2009–2012Дания
DSTOA · Descriptive Set Theory and Operator Algebras
2 партньори · 2 държави
FP7Индивидуална стипендия2009–2011Франция
STRUCTPROOFS · Structural Analysis of Mathematical Proofs
FP7Реинтеграция2009–2012Испания
LOGICANDBANACHSPACES · Set theory, topology and Banach spaces
FP7Реинтеграция2009–2012Швейцария
LAXALGHOMOTOP · Lax Algebras in Homotopy Theory
FP7Реинтеграция2008–2011Австрия
CLASSFORCING · Class forcing, internal consistency and the outer model program
FP6Реинтеграция2007–2009Турция
DYROLL · Behavioral planning for dynamically dexterous robots using constrained intuitionistic linear logic
FP6Индивидуална стипендия2007–2007Франция
ASFIX · Abstract semantic frameworks for implicit complexity
FP6Индивидуална стипендия2006–2008Израел
DEFINABLE FORCING · Theory and application of definable forcing
FP6Индивидуална стипендия2006–2008Испания
RECONSTRUCTION · Reconstruction and generic automorphisms
FP6Индивидуална стипендия2006–2008Франция
LOGIC AND ANALYSIS · Set theoretic methods in analysis
FP6Реинтеграция2006–2007Полша
TOPMODTHE · Topological Model Theory
FP6Докторантска мрежа2006–2010Нидерландия
GLORICLASS · Games in Logic: Reaching Out To Classical Game Theory
FP6Индивидуална стипендия2005–2007Франция
MTGFOP · Model theory and geometry of fields with operators
FP6Друго2005–2006Обединеното кралство
NEWTINST EC6-2 · Isaac Newton Institute for mathematical sciences Marie Curie conferences and training courses, Framework 6 series two
FP6Докторантска мрежа2005–2008Обединеното кралство
MODNET · Model theory and applications
14 партньори · 9 държави
FP6Индивидуална стипендия2004–2006Австрия
LUKPROOF · Proof Theory for Lukasiewicz and Related Logics
FP5Индивидуална стипендия2002–2003Германия
Epistemic foundations of applied logic
FP4Индивидуална стипендия1998–2000Германия
Randomness in proof theory, model theory, and computation
FP4Индивидуална стипендия1998–1998Испания
Finite model theory and bounded arithmetic
2 партньори · 2 държави
FP4Индивидуална стипендия1997–1998Обединеното кралство
Automorphism groups and variants of minimality for valued fields and groups
2 партньори · 2 държави
FP4Индивидуална стипендия1997–1999Обединеното кралство
Computational mereotopology - a logical approach
2 партньори · 2 държави
FP4Индивидуална стипендия1997–1999Обединеното кралство
Application of the theory of random sets towards the development of image analysis procedures
2 партньори · 2 държави
FP4Индивидуална стипендия1997–1999Обединеното кралство
Higgs boson search at lep200
2 партньори · 2 държави