Buscar
Mostrando ítems 1-10 de 21123
Contributions to the investigations of Lascar strong types in simple theories
(Universidade Federal de Pernambuco, 2014)
Tinkertoys for the E-7 theory
(Springer, 2018-05-04)
We classify the class S theories of type E-7. These are four-dimensional N = 2 superconformal field theories arising from the compactification of the E-7 (2, 0) theory on a punctured Riemann surface, C. The classification ...
Classical Morse Theory Revisited - I Backward Lambda-lemma And Homotopy Type
(Juliusz Schauder CTR Nonlinear StudiesTorun, 2016)
A Proposal for a Coherent Ontology of Fundamental Entities
(Springer Netherlands, 2018)
We argue that the distinction between framework and interaction theories should be taken carefully into consideration when dealing with the philosophical implications of fundamental theories in physics. In particular, ...
A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
(UR. FI-INCO,, 1995)
We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. ...
On the power-counting renormalizability of a Lifshitz-type QFT in configuration space
(Mathematical Physics, Analysis and Geometry, 2018)
Completeness in Hybrid Type Theory
(Springer, 2014-05)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...