Buscar
Mostrando ítems 21-30 de 520
Método axiomático e teoria econômica
(Universidade Federal do PampaCampus Santana do Livramento, 2017)
Intuición y método axiomático en la concepción temprana de la geometría de David Hilbert
(Centro de Investigaciones Filosóficas, 2011-06)
El artículo indaga la concepción axiomática temprana de la geometría de Hilbert. Especialmente, sus notas para cursos sobre geometría entre 1891 y 1905 son analizadas. Se sostendrá que, aunque Hilbert privilegió desde el ...
An axiomatization of G3
(2018)
Is Teleparallel Gravity Really Equivalent to General Relativity?
(Wiley VCH Verlag, 2017-08)
An axiomatization of the so-called Teleparallel Equivalent to General Relativity is presented. A set of formal and semantic postulates are elaborated from where the physical meaning of various key concepts of the theory ...
0N CHARACTERIZATION OF RIEMANNIAN MANIFOLDS
(Universidad Católica del Norte, Departamento de Matemáticas, 2008)
Continuous cohesion over sets
(Mount Allison University, 2014-11)
A pre-cohesive geometric morphism p : E → S satisfies Continuity if the canonical p!(Xp ∗S) → (p!X) S is an iso for every X in E and S in S. We show that if S = Set and E is a presheaf topos then, p satisfies Continuity ...
The hyperconnected maps that are local
(Elsevier Science, 2021-05)
A level j : Ej → E of a topos E is said to have monic skeleta if, for every X in E, the counit j!(j∗X) → X is monic. For instance, the centre of a hyperconnected geometric morphism is such a level. We establish two related ...
Monic skeleta, Boundaries, Aufhebung, and the meaning of 'one-dimensionality'
(Robert Rosebrugh, 2019-09)
Let E be a topos. If l is a level of E with monic skeleta then it makes sense to consider the objects in E that have l-skeletal boundaries. In particular, if p : E o S is a pre-cohesive geometric morphism then its centre ...
The unity and identity of decidable objects and double-negation sheaves
(Association for Symbolic Logic, 2018-12)
Let be a topos, be the full subcategory of decidable objects, and be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity for the two subcategories of ...