Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/123456789/1085| Τύπος: | Άρθρο σε επιστημονικό περιοδικό |
| Τίτλος: | Notes on the decidability of addition and the Frobenius map for polynomials and rational functions |
| Συγγραφέας: | [EL] Χομπιτάκη, Δήμητρα[EN] Chompitaki, Dimitra [EL] Καμαριανάκης, Μάνος[EN] Kamarianakis, Manos [EL] Φειδάς, Αθανάσιος[EN] Pheidas, Athanasios |
| Ημερομηνία: | 09/12/2021 |
| Περίληψη: | Let p be a prime number, Fp a finite field with p elements, F an algebraic extension of Fp and z a variable. We consider the structure of addition and the Frobenius map (i.e., x 7→ x p ) in the polynomial rings F[z] and in fields F(z) of rational functions. We prove that any question about F[z] in the structure of addition and Frobenius map may be effectively reduced to questions about the similar structure of the field F. Furthermore, we provide an example which shows that a fact which is true for addition and the Frobenius map in the polynomial rings F[z] fails to be true in F(z). As a consequence, certain methods used to prove model completeness for polynomials do not suffice to prove model completeness for similar structures for fields of rational functions F(z), a problem that remains open even for F = Fp. |
| Γλώσσα: | Αγγλικά |
| Σελίδες: | 8 |
| DOI: | 10.4467/20842589RM.22.004.16661 |
| EISSN: | 2084-2589 |
| Θεματική κατηγορία: | [EL] Μαθηματική λογική[EN] Logic |
| Λέξεις-κλειδιά: | Decidability; Model completeness; Frobenius map; Polynomial rings; Rational functions |
| Κάτοχος πνευματικών δικαιωμάτων: | © The Author(s) 2021 |
| Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη: | https://rml.tcs.uj.edu.pl/rml-57/04-kamarianakis.pdf |
| Ηλεκτρονική διεύθυνση περιοδικού: | https://rml.tcs.uj.edu.pl |
| Τίτλος πηγής δημοσίευσης: | Reports on Mathematical Logic |
| Τεύχος: | 57 |
| Σελίδες τεκμηρίου (στην πηγή): | 53-60 |
| Σημειώσεις: | This research work was supported from Greek and European Union resources, through the National Strategic Reference Framework (NSRF 2014-2020), under the call “Support for researchers with emphasis on young researchers (EDBM103)” and the funded project “Problems of Diophantine Nature in Logic and Number Theory” with code MIS 5048407 |
| Εμφανίζεται στις συλλογές: | Ερευνητικές ομάδες |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Σελίδες | Μέγεθος | Μορφότυπος | Έκδοση | Άδεια | |
|---|---|---|---|---|---|---|---|
| TMD___RML.pdf | 246.9 kB | Adobe PDF | - |  | Δείτε/ανοίξτε |