Reflection principles for synthetic theories of smooth manifolds Original Research Article

روزنامه با شماره پیاپی سال 1997

12

5135

5146

Grothendieck topos , smooth infinitesimal calculus , infinitesimals , synthetic reasoning , Isabelle , theorem prover , local set theories , theory of distributions , HOL , smooth manifold , locus , topos , topos logics , topos-theoretic models , algebraic geometry , ML , the Yoneda embedding theorem , automated deduction , non-standard analysis , the Yoneda Lemma , C?-algebaas , operational calculus , Whitneyיs embedding theorem , Calculus of variations , rational physics , continuum physics , reflection principles , differential geometry G?delיs incompleteness theorem , sieve , Grothendieck topology , site , G?del numbering , sheaf , categorical logics , proof-checker

Nonlinear Analysis Theory, Methods & Applications

1997

Nonlinear Analysis Theory, Methods & Applications