1. Home page
  2. Search

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

This item is provided by the institution :
National Documentation Centre (EKT)   

Repository :
National Archive of PhD Theses  | ΕΚΤ NA.Ph.D.   

see the original item page
in the repository's web site and access all digital files if the item*



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
Greek
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)
Aristotle University Of Thessaloniki (AUTH)
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών. Τομέας Άλγεβρας, Θεωρίας Αριθμών και Μαθηματικής Λογικής
BY_NC
National Documentation Centre (EKT)
National Archive of PhD Theses
Συλλογή ΕΑΔΔ



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)