Undecidability in some field theories

<p>This thesis is a study of undecidability in some field theories. Specifically, we are interested in geometrically oriented problems and have focused our attention in two directions along these lines. The first direction bases on determining the decidability of certain sets of first-order se...

תיאור מלא

מידע ביבליוגרפי
מחבר ראשי: Tyrrell, B
מחברים אחרים: Koenigsmann, J
פורמט: Thesis
שפה:English
יצא לאור: 2023
נושאים: