mathematical logic
72 projects
FP7Individual fellowship2010–2012United Kingdom
MODGROUP · The Model Theory of Groups
FP7Reintegration grant2009–2012Denmark
DSTOA · Descriptive Set Theory and Operator Algebras
2 partners · 2 countries
FP7Individual fellowship2009–2011France
STRUCTPROOFS · Structural Analysis of Mathematical Proofs
FP7Reintegration grant2009–2012Spain
LOGICANDBANACHSPACES · Set theory, topology and Banach spaces
FP7Reintegration grant2009–2012Switzerland
LAXALGHOMOTOP · Lax Algebras in Homotopy Theory
FP7Reintegration grant2008–2011Austria
CLASSFORCING · Class forcing, internal consistency and the outer model program
FP6Reintegration grant2007–2009Türkiye
DYROLL · Behavioral planning for dynamically dexterous robots using constrained intuitionistic linear logic
FP6Individual fellowship2007–2007France
ASFIX · Abstract semantic frameworks for implicit complexity
FP6Individual fellowship2006–2008Israel
DEFINABLE FORCING · Theory and application of definable forcing
FP6Individual fellowship2006–2008Spain
RECONSTRUCTION · Reconstruction and generic automorphisms
FP6Individual fellowship2006–2008France
LOGIC AND ANALYSIS · Set theoretic methods in analysis
FP6Reintegration grant2006–2007Poland
TOPMODTHE · Topological Model Theory
FP6Doctoral network2006–2010Netherlands
GLORICLASS · Games in Logic: Reaching Out To Classical Game Theory
FP6Individual fellowship2005–2007France
MTGFOP · Model theory and geometry of fields with operators
FP6Other2005–2006United Kingdom
NEWTINST EC6-2 · Isaac Newton Institute for mathematical sciences Marie Curie conferences and training courses, Framework 6 series two
FP6Doctoral network2005–2008United Kingdom
MODNET · Model theory and applications
14 partners · 9 countries
FP6Individual fellowship2004–2006Austria
LUKPROOF · Proof Theory for Lukasiewicz and Related Logics
FP5Individual fellowship2002–2003Germany
Epistemic foundations of applied logic
FP4Individual fellowship1998–2000Germany
Randomness in proof theory, model theory, and computation
FP4Individual fellowship1998–1998Spain
Finite model theory and bounded arithmetic
2 partners · 2 countries
FP4Individual fellowship1997–1998United Kingdom
Automorphism groups and variants of minimality for valued fields and groups
2 partners · 2 countries
FP4Individual fellowship1997–1999United Kingdom
Computational mereotopology - a logical approach
2 partners · 2 countries
FP4Individual fellowship1997–1999United Kingdom
Application of the theory of random sets towards the development of image analysis procedures
2 partners · 2 countries
FP4Individual fellowship1997–1999United Kingdom
Higgs boson search at lep200
2 partners · 2 countries