Innovating Works

MTM2008-01545

Financiado
Presupuesto del proyecto 45K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Applied Physics Software
Mathematics Computer Science Theoretical Physics

Palabras clave Extraídas de toda la información encontrada de este proyecto
#algebraic models #mathematical logic #predicate logic #automorphisms #infinite combinatorics #forcing #stability theory #simple theories