Reflection principles for synthetic theories of smooth manifolds

DOI10.1016/S0362-546X(96)00153-8zbMath0935.18012MaRDI QIDQ4378768

Yoshiharu Kato, Shinichi Yamada

Publication date: 2 May 2000

Published in: Nonlinear Analysis: Theory, Methods & Applications (Search for Journal in Brave)

zbMATH Keywords

infinitesimal

Mathematics Subject Classification ID

Categories in geometry and topology (18F99)

Uses Software

• ML
• HOL

Cites Work

• Operational calculus. A theory of hyperfunctions. Transl. from the Japanese
• Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982
• A smooth version of the Zariski topos
• Sheaves in geometry and logic: a first introduction to topos theory
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• La logique des topos
• C ∞ -Schemes
• Axiom of Choice and Complementation
• Germs and their Operational Calculus
• Mechanizing UNITY in Isabelle
• On the De Rham cohomology of algebraic varieties
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflection principles for synthetic theories of smooth manifolds