Reflection principles for synthetic theories of smooth manifolds
type: Item
instance of: scholarly article
title: Reflection principles for synthetic theories of smooth manifolds
zbMATH Open document ID: 0935.18012
DOI: 10.1016/S0362-546X(96)00153-8
author: Shinichi Yamada
author: Yoshiharu Kato
published in: Nonlinear Analysis: Theory, Methods & Applications
publication date: 2000-05-02T00:00:00Z
Mathematics Subject Classification ID: 18F99
zbMATH DE Number: 1124730
zbMATH Keywords: infinitesimal
describes a project that uses: ML
describes a project that uses: HOL
MaRDI profile type: MaRDI publication profile
cites work: 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
cites work: Q4039735
cites work: Q3679172
cites work: La logique des topos
cites work: Q4856547
cites work: Q3705592
cites work: Axiom of Choice and Complementation
cites work: Q3927377
cites work: C ∞ -Schemes
cites work: Q4002795
cites work: Q3882452
cites work: Q4723729
cites work: Q3994895
cites work: Q5287513
cites work: On the De Rham cohomology of algebraic varieties
cites work: Q4145861
cites work: Q4100304
cites work: Q4178954
cites work: Q3918651
cites work: Q3727946
cites work: Q4875315
cites work: Q4187965
cites work: Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Q4003736
cites work: Germs and their Operational Calculus
cites work: A smooth version of the Zariski topos
cites work: Q3997818
cites work: Q4098717
cites work: Q3725605
cites work: Q4117991
cites work: Q4318835
cites work: Mechanizing UNITY in Isabelle
cites work: Q3333645
cites work: Q3317770
cites work: Non-standard analysis
cites work: Q5803576
cites work: Q3284386
cites work: Q4302492
cites work: Q4071939
cites work: Q5822224
cites work: Q3716349
cites work: Q4363106
cites work: Q5831366
cites work: Operational calculus. A theory of hyperfunctions. Transl. from the Japanese
Recommended article: Q3918651
Recommended article: Synthetic Differential Topology
Recommended article: Q4875315
description: scientific article; zbMATH DE number 1124730