|
|||||
|
|
Reflection principles for synthetic theories of smooth manifolds |
|
| Authors: | Shinichi Yamada Yoshiharu Kato |
| Affiliation: | Department of Information Sciences, Science University of Tokyo, Noda City, Chiba 278, Japan |
| Abstract: | |
| Keywords: | algebraic geometry automated deduction C∞-algebaas categorical logics calculus of variations continuum physics differential geometry Gödel's incompleteness theorem Gödel numbering Grothendieck topology Grothendieck topos HOL infinitesimals Isabelle local set theories locus topos logics ML non-standard analysis operational calculus proof-checker rational physics reflection principles sieve sheaf site smooth infinitesimal calculus smooth manifold synthetic reasoning theorem prover theory of distributions topos topos-theoretic models the Yoneda embedding theorem the Yoneda Lemma Whitney's embedding theorem |
| 本文献已被 ScienceDirect 等数据库收录！ | |