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...
מחבר ראשי: | |
---|---|
מחברים אחרים: | |
פורמט: | Thesis |
שפה: | English |
יצא לאור: |
2023
|
נושאים: |