Browsing Mathematics by Subject "Lógica matemática"
Now showing items 1-1 of 1
-
Uma conjectura de Artin e sua resolução por Ax e Kochen via teoria dos modelos
(2009) [Dissertation]O presente trabalho tem por objetivo apresentar a prova de um teorema de James Ax e Simon B. Kochen relacionada com uma conjectura de Artin. A demonstração apresentada usa essencialmente Teoria de Modelos e Teoria de ...