Models of HoTT and the Constructive View of Theories

Standard

Models of HoTT and the Constructive View of Theories. / Rodin, Andrei.

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. ed. / Stefania Centrone. Springer Nature, 2019. p. 191-219 (Synthese Library; Vol. 407).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Harvard

Rodin, A 2019, Models of HoTT and the Constructive View of Theories. in S Centrone (ed.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library, vol. 407, Springer Nature, pp. 191-219. https://doi.org/10.1007/978-3-030-15655-8_9

APA

Rodin, A. (2019). Models of HoTT and the Constructive View of Theories. In S. Centrone (Ed.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (pp. 191-219). (Synthese Library; Vol. 407). Springer Nature. https://doi.org/10.1007/978-3-030-15655-8_9

Vancouver

Rodin A. Models of HoTT and the Constructive View of Theories. In Centrone S, editor, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Nature. 2019. p. 191-219. (Synthese Library). https://doi.org/10.1007/978-3-030-15655-8_9

Author

Rodin, Andrei. / Models of HoTT and the Constructive View of Theories. Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. editor / Stefania Centrone. Springer Nature, 2019. pp. 191-219 (Synthese Library).

BibTeX

@inbook{e3cdd1d525f84f98ba02850b9b2e0ff0,

title = "Models of HoTT and the Constructive View of Theories",

abstract = "Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.",

author = "Andrei Rodin",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.",

year = "2019",

doi = "10.1007/978-3-030-15655-8_9",

language = "English",

series = "Synthese Library",

publisher = "Springer Nature",

pages = "191--219",

editor = "Centrone, {Stefania }",

booktitle = "Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts",

address = "Germany",

}

RIS

TY - CHAP

T1 - Models of HoTT and the Constructive View of Theories

AU - Rodin, Andrei

PY - 2019

Y1 - 2019

N2 - Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.

AB - Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.

UR - http://www.scopus.com/inward/record.url?scp=85114733526&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-15655-8_9

DO - 10.1007/978-3-030-15655-8_9

M3 - Chapter

AN - SCOPUS:85114733526

T3 - Synthese Library

SP - 191

EP - 219

BT - Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts

A2 - Centrone, Stefania

PB - Springer Nature

ER -

ID: 35625521