1. Αποθετήριο Παραδοτέων Υποτρόφων Δράσεων ΕΣΠΑ Τριτοβάθμιας Εκπαίδευσης 2017-2023
2. Όλο το Αποθετήριο
3. Μεταδιδακτορικοί ερευνητές

Τύπος:	Άρθρο σε επιστημονικό περιοδικό
Τίτλος:	Cantorian models of predicative NF
Εναλλακτικός τίτλος:	Καντοριανά μοντέλα κατηγορηματικής NF
Συγγραφέας:	[EL] Ρουβέλας, Παναγιώτης[EN] Rouvelas, Panagiotis
Ημερομηνία:	13/10/2022
Περίληψη:	Tangled Type Theory was introduced by Randall Holmes in [3] as a new way of approaching the consistency problem for NF. Although the task of finding models for this theory is far from trivial (considering it is equiconsistent with NF), ways of constructing models for certain fragments of it have been discovered. In this article, we present a simpler way of constructing models of predicative Tangled Type Theory and consequently of predicative NF. In these new models of predicative NF, the universe is well-orderable and equinumerous to the set of singletons.
Γλώσσα:	Αγγλικά
Σελίδες:	9
DOI:	10.1017/jsl.2022.75
EISSN:	1943-5886
Θεματική κατηγορία:	[EL] Μαθηματική λογική[EN] Logic
Λέξεις-κλειδιά:	New Foundations
Κάτοχος πνευματικών δικαιωμάτων:	© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη:	https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/cantorian-models-of-predicative-mathrm-nf/BDAC803E694D6E6A40125D9EAC39017B#
Ηλεκτρονική διεύθυνση περιοδικού:	https://www.cambridge.org/core/journals/journal-of-symbolic-logic
Τίτλος πηγής δημοσίευσης:	The Journal of Symbolic Logic
Τεύχος:	First View
Σελίδες τεκμηρίου (στην πηγή):	1 - 9
Σημειώσεις:	This research was co-financed by Greece and the European Union (European Social Fund) through the Operational Program “Human Resources Development, Education and Lifelong Learning” in the context of the project “Reinforcement of Postdoctoral Researchers—2nd Cycle” (No. MIS-5033021), implemented by the State Scholarships Foundation (IKY).
Εμφανίζεται στις συλλογές:	Μεταδιδακτορικοί ερευνητές