Currently displaying 1 – 20 of 6097

Showing per page

Order by Relevance | Title | Year of publication

Formally self-referential propositions for cut free classical analysis and related systems

G. KreiselG. Takeuti — 1974

CONTENTSIntroduction............................................................................................................................................................................................................ 5  I. Results on self-referential propositions............................................................................................................................. 11    1. Definitions of some principal metamathematical notions......................................................................

Isometric immersions and induced geometric structures

D‘Ambra, G. — 1999

Proceedings of the 18th Winter School "Geometry and Physics"

In the paper under review, the author presents some results on the basis of the Nash-Gromov theory of isometric immersions and illustrates how the same results and ideas can be extended to other structures.

Page 1 Next

Download Results (CSV)