Your browser does not support JavaScript!

Αρχική    Υποσυστήματα του ΒΣ1+exp και κλασικά θεωρήματα της Θεωρίας Αριθμών  

Αποτελέσματα - Λεπτομέρειες

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου uch.math.phd//1994DIS0133
Τίτλος Υποσυστήματα του ΒΣ1+exp και κλασικά θεωρήματα της Θεωρίας Αριθμών
Άλλος τίτλος Subystems of BΣ1+exp and classical theorems of Number Theory
Συγγραφέας Κορνάρος, Χαράλαμπος Μ
Περίληψη Εξετάζουμε την αποδειξιμότητα τριών θεωρημάτων της στοιχειώδους θεωρίας αριθμών στο ΙΔο + exp και στο ΙΕ*2. Επίσης αποδεικνύουμε τρείς (ισοδύναμες) μορφές του Θεωρήματος Πρώτων Αριθμών από το ΙΔο+exp. Το βασικό βήμα για την απόδειξη είναι μία μορφή του λεγόμενου "Συμμετρικού Τύπου του Selberg". Στο δεύτερο κεφάλαιο αποδεικνύουμε α) τον Νόμο της Τετραγωνικής Αντιστροφής και το Συμμετρικό Τύπο του Selberg από το ΙΕ*2 και β) το Αίτημα του Bertand από το ΙΔο(π,Κ) + DEF(K), όπου ΙΔο(π,Κ)+DEF(π)+DEF(K) το υποσύστημα του ΙΕ*2 που παίρνουμε αν στη γλώσσα της αριθμητικής προσθέσουμε τα νέα συναρτησιακά σύμβολα π,Κ, που αντιστοιχούν στις γνωστές συναρτήσεις π(χ)=αριθμός πρώτων <=χ, Κ(χ) = Σο <=n<=χlogn. Στο τρίτο κεφάλαιο αποδεικνύουμε, αριθμητικοποιώντας την τεχνική των ταμπλώ αποδείξεων, ένα θεώρημα για τελικές επεκτάσεις μοντέλων του ΒΣ1 + exp που είναι συντελικά με το ω, που απέδειξε η Ζ. Adamowicz με χρήση μοντελοθεωρητικών μεθόδων.
Ημερομηνία έκδοσης 1994-12-01
Ημερομηνία διάθεσης 1997-06-6
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Μαθηματικών--Διδακτορικές διατριβές
  Τύπος Εργασίας--Διδακτορικές διατριβές
Εμφανίσεις 171