Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Related Publications
(7)
Formal manifolds and synthetic theory of jet bundles
Minimal Models of Heyting Arithmetic
Linear spaces and di erentation theory
Basic Concepts Of Synthetic Differential Geometry
Synthetic Differential Geometry
Subscribe
Academic
Publications
Models for Smooth Infinitesimal Analysis
Models for Smooth Infinitesimal Analysis,I. Moerdijk,G. E. Reyes
Edit
Models for Smooth Infinitesimal Analysis
(
Citations: 99
)
BibTex

RIS

RefWorks
Download
I. Moerdijk
,
G. E. Reyes
Published in 1991.
Cumulative
Annual
Citation Context
(41)
...Note that there is a bijective correspondence between infinitesimal ksimplices and infinitesimal kdimensional parallelepipeda in M. (Warning: the “infinitesimal singular rectangles” of [7], or the “marked microcubes” of [16], are in [15], and in [
18
] IV.1, called “infinitesimal kcubes”; these things are not infinitesimal parallelepipeda in the sense of the present Definition...
...To be able to assign a boundary to a kmicrocube D k → M, the treatments of [7, 15] I.14, [4,
18
]I V.1, [16] 4.2.1 all take resort to what [16] calls marked microcubes (and we shall follow this terminology here); these are pairs (τ, d) ,w hereτ : D n → M is a microcube and d = (d1 ,..., dk) ∈ D k .T hen2k boundary faces ∂ α i (τ, d) can naturally be defined as marked k − 1microcubes...
Anders Kock
.
Cubical Version of Combinatorial Differential Forms
...instead of smooth manifolds M one works with the function ring C1(M), etc.) [
24
], as well as prequasiC algebras...
C. J. M. Heunen
,
et al.
The Principle of General Tovariance
...For textbooks on synthetic differential geometry, the reader is referred to [5, 7,
9
]...
Hirokazu Nishimura
,
et al.
General Jacobi Identity Revisited Again
...To see how to build such a good topos, the reader is referred to Kock [1] or Moerdijk and Reyes [
7
]...
Hirokazu Nishimura
.
Curvature in Synthetic Differential Geometry of Groupoids
...However, as with every rigorous theory, the consistency of the smooth infinitesimal analysis is provided by the construction of several models of it, as shown in [14] and [
15
]...
...For further details see Bell [14], Lavendhomme [20], and Moerdijk and Reyes [
15
]...
...S, by substituting it with a more powerful axiom, in order to get the idea that a smooth function locally behaves exactly as a polynomial of degree n ≥ 1. Of course, this new axiom is still compatible with the construction of a model S (see [
15
])...
Riccardo Dossena
,
et al.
Mathematics through Diagrams: Microscopes in NonStandard and Smooth A...
Sort by:
Citations
(99)
Differential Geometry of Microlinear Frolicher Spaces IV1
(
Citations: 3
)
Hirokazu Nishimura
Published in 2011.
Comparison of LongTerm Clinical and Angiographic Outcomes Following Implantation of Bare Metal Stents and DrugEluting Stents in AortoOstial Lesions
Rasha AlLamee
,
Alfonso Ielasi
,
Azeem Latib
,
Cosmo Godino
,
Marco Mussardo
,
Francesco Arioli
,
Filippo Figin
,
Daniela Piraino
,
Mauro Carlino
,
Matteo Montorfano
,
Alaide Chieffo
,
Antonio Colombo
Journal:
American Journal of Cardiology  AMER J CARDIOL
, vol. 108, no. 8, pp. 10551060, 2011
The ring of Fermat reals
(
Citations: 2
)
Paolo Giordano
Journal:
Advances in Mathematics  ADVAN MATH
, vol. 225, no. 4, pp. 20502075, 2010
Smooth structures on pseudomanifolds with conical singularities
Hong Van Le
,
Petr Somberg
,
Jiri Vanzura
Published in 2010.
Poisson smooth structures on stratified symplectic spaces
Hong Van Le
,
Petr Somberg
,
Jiri Vanzura
Published in 2010.