Univalent Foundations and the Constructive View of Theories

Andrei Rodin

Аннотация


Univalent Foundations and the Constructive View of Theories


Полный текст:

PDF (English)

Литература


H. Halvorson. Scientific Theories. P. Humphreys (ed.) The Oxford Handbook of Philosophy of Science, 2016.

E. Nagel and M.R. Cohen. An Introduction to Logic and Scientific Method. Routledge, 1934.

A. Rodin. On Constructive Axiomatics Method. Logique et Analyse, 242:201–231, 2018. Preprint: https://arxiv.org/abs/1408.3591v3.

A. Rodin. Models of HoTT and the Constructive View of Theories. S. Centrone, D. Kant and D. Sarikaya (eds.) Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer, Synthese Library, 2019. Preprint: http://philsci-archive.pitt.edu/14434/.

P. Suppes. Representation and Invariance. College Publications, 2002.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Andrei Rodin

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.