ΥΠΟΣΥΣΤΗΜΑΤΑ ΤΟΥ ΒΣ1+EXP ΚΑΙ ΚΛΑΣΙΚΑ ΘΕΩΡΗΜΑΤΑ ΤΗΣ ΘΕΩΡΙΑΣ ΑΡΙΘΜΩΝ

Περίληψη

WE STUDY PROVABILITY OF THREE THEOREMS OF ELEMENTARY NUMBER THEORY IN ΙΔ0+EXP AND IΕ2*. WE ALSO PROVE, USING TECHNIQUES OF PROOF THEORY, A KNOWN RESULT CONCERNING END EXTENTIONS OF MODELS OF ΒΣ1+EXP. IN CHAPTER 1 WE PROVE THREE (EQUIVALENT) STATMENTS OF THE PRIME NUMBER THEOREM IN ΙΔO+EXP. THE BASIC STEP FOR THE PROOF IS A FORM OF THE SO-CALLED "SELBERG SYMMETRY FORMULA". IN CHAPTER 2 WE PROVE (A) THE QUADRATIC RECIPROCITY LAW AND THE SELBERG SYMMETRY FORMULA IN ΙΕ2*.(B) BERTRAND'S POSTULATE IN ΙΔΟ(Π,Κ)+DEF(Π)+DEF(K), WHERE ΙΔΟ(Π,Κ)+DEF(Π)+DEF(K) DENOTES THE SUBSYSTEM OF ΙΕ2* OBTAINED IF WE ALLOW ONLY TWO NEWFUNCTIONS SYMBOLS Π,K, CORRESPONDING TO THE WELL-KNOWN FUNCTIONS Π(X)=NUMBEROF PRIMES< =X,Κ(X)=ΣO,N<=X LOGN. IN CHAPTER 3 WE PROVE, USING ARITHMETIZATION OF THE TECHNIQUE OF TABLEAU PROOFS, A THEOREM CONCERNING END EXTENSIONS OF MODELS OF ΒΣ1+EXP COFINAL WITH Ω, WHICH WAS FIRST PROVED BY Z. ADAMOWICZ BY MEANS OF MODEL-THEORETIC METHODS.
Η διατριβή αυτή δεν είναι ακόμα διαθέσιμη ηλεκτρονικά
Το πλήρες κείμενο της διατριβής είναι διαθέσιμο σε έντυπη μορφή από τη Βιβλιοθήκη Επιστήμης και Τεχνολογίας του ΕΚΤ
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/3446
Εναλλακτικός τίτλος
SUBYSTEMS OF BΣ1+EXP AND CLASSICAL THEOREMS OF NUMBER THEORY
Συγγραφέας
ΚΟΡΝΑΡΟΣ, ΧΑΡΑΛΑΜΠΟΣ
Ημερομηνία
1994
Ίδρυμα
Πανεπιστήμιο Κρήτης. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Εξεταστική επιτροπή
ΔΗΜΗΤΡΑΚΟΠΟΥΛΟΣ ΚΩΝΣΤΑΝΤΙΝΟΣ
ΑΝΑΠΟΛΙΤΑΝΟΣ ΔΙΟΝΥΣΙΟΣ
ΣΚΑΝΔΑΛΗΣ ΚΩΝΣΤΑΝΤΙΝΟΣ
ΑΝΤΩΝΙΑΔΗΣ ΙΩΑΝΝΗΣ
ΚΥΡΟΥΣΗΣ ΕΛΕΥΘΕΡΙΟΣ
ΤΖΑΝΑΚΗΣ ΝΙΚΟΛΑΟΣ
ΦΕΙΔΑΣ ΑΘΑΝΑΣΙΟΣ
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Μαθηματικά
Λέξεις-κλειδιά
ΑΙΤΗΜΑ ΤΟΥ BERTRAND; ΘΕΩΡΗΜΑ ΠΡΩΤΩΝ ΑΡΙΘΜΩΝ; ΝΟΜΟΣ ΤΗΣ ΤΕΤΡΑΓΩΝΙΚΗΣ ΑΝΤΙΣΤΡΟΦΗΣ; ΣΥΜΜΕΤΡΙΚΟΣ ΤΥΠΟΣ ΤΟΥ SELBERG; ΥΠΟΣΥΣΤΗΜΑΤΑ ΤΟΥ ΒΣ1+EXP
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά