1. Αρχική σελίδα
  2. Αναζήτηση

Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)   

Αποθετήριο :
Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



The problem of consistency for NF
Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF
Rouvelas, Panagiotis
Ρουβέλας, Παναγιώτης
PhD Thesis
2017
Στην εργασία αυτή παρουσιάζουμε αποτελέσματα που αφορούν το πρόβλημα της συνέπειας για το αξιωματικό σύστημα “New Foundations” (NF). Πιο συγκεκριμένα, μελετάμε την αποφασισιμότητα διαφόρων ειδών προτάσεων (αύξουσες, φθίνουσες, υπαρξιακές-καθολικές) από ασθενείς υποθεωρίες της NF. Ερευνούμε επίσης μία ασθενέστερη μορφή του προβλήματος της συνέπειας που σχετίζεται με μία γενίκευση της έννοιας του αυτομορφισμού μετατόπισης βαθμίδων.
In this work, we present results concerning the consistency problem for the axiomatic system “New Foundations” (NF). More specifically, we study the decidability of various kinds of sentences (increasing, decreasing, existential-universal) by weak subtheories of NF. We also investigate a weaker version of the consistency problem related to a generalization of the concept of type shifting automorphism.
Φυσικές Επιστήμες ➨ Μαθηματικά ➨ Μαθηματική λογική
Απλή θεωρία τύπων
New Foundations
Μαθηματικά
Mathematics
Θεωρία συνόλων
Φυσικές Επιστήμες
Quine
Λογική
Μαθηματική λογική
Simple type theory
NF
Set theory
Natural Sciences
Logic
Ελληνική γλώσσα
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)
Aristotle University Of Thessaloniki (AUTH)
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών. Τομέας Άλγεβρας, Θεωρίας Αριθμών και Μαθηματικής Λογικής
BY_NC
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Εθνικό Αρχείο Διδακτορικών Διατριβών
Συλλογή ΕΑΔΔ



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.