搜索结果: 1-15 共查到“数理逻辑与数学基础 structures”相关记录27条 . 查询时间(0.156 秒)
Compression schemes, stable definable families, and o-minimal structures
Compression schemes stable definable families o-minimal structures
2015/9/28
We show that any family of sets uniformly definable in an ominimal
structure has an extended compression scheme of size equal
to the number of parameters in the defining formula.
Mutually algebraic structures and `automatic' quantifier elimination
Mutually algebraic structures `automatic' quantifier elimination
2015/9/28
Mutually algebraic structures and `automatic' quantifier elimination.
Characterizing model completeness among mutually algebraic structures
algebraic structures model completeness
2015/9/28
We characterize when the elementary diagram of a mutually algebraic
structure has a model complete theory, and give an explicit
description of a set of existential formulas to which every formula
i...
Mutually algebraic structures and expansions by predicates
algebraic structures predicates
2015/9/28
We introduce the notions of a mutually algebraic structures and
theories and prove many equivalents. A theory T is mutually algebraic
if and only if it is weakly minimal and trivial if and only if n...
Universal cycles for combinatorial structures。
ALGEBRAIC STRUCTURES ON THE TOPOLOGY OF MODULI SPACES OF CURVES AND MAPS
MODULI SPACES CURVES AND MAPS
2015/7/14
We discuss selected topics on the topology of moduli spaces
of curves and maps, emphasizing their relationwith GromovWitten theory and integrable systems
An approximate Herbrand's theorem and definable functions in metric structures
Herbrand's theorem metric structures Logic
2011/9/15
Abstract: We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine funct...
Induced Cylindric Algebras of Choice Structures
epsilon calculus canonical model monadic algebra sigma complete Boolean algebra
2011/9/5
Abstract: One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Anot...
A mathematical model for networks with structures in the mesoscale
mathematical model networks structures
2011/3/2
The new concept of multilevel network is introduced in order to em-body some topological properties of complex systems with structures in the mesoscale which are not completely captured by the classic...
Group theoretic structures in the estimation of an unknown unitary transformation
Group theoretic structures estimation unknown unitary transformation
2011/3/2
This paper presents a series of general results about the optimal estimation of physical transformations in a given symmetry group. In particular, it is shown how the different
symmetries of the prob...
We use the supergeometric formalism, more precisely, the so-called “big bracket”(for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Ja...
2\pi-graftings and complex projective structures I
2\pi-graftings complex projective structures
2010/11/24
Let $S$ be a closed orientable surface of genus at least two, and let $C$ and $C'$ be complex projective structures on $S$ with the same holonomy and orientation. We show that, if, via Thurston's coor...
Classifying spaces of degenerating mixed Hodge structures, III: Spaces of nilpotent orbits
mixed Hodge structures Spaces of nilpotent orbits
2010/11/23
We construct toroidal partial compactifications of the moduli spaces of mixed Hodge structures with polarized graded quotients. They are moduli spaces of log mixed Hodge structures with polarized grad...
Arithmetic-arboreal residue structures induced by Prufer extensions : An axiomatic approach
Arithmetic-arboreal Prufer extensions An axiomatic approach
2010/11/9
We present an axiomatic framework for the residue structures induced by Prufer extensions with a stress upon the intimate connection between their arithmetic and arboreal theoretic properties. The ma...
In this note, we describe motivic cell structures arising from the Bia lynicki-Birula decomposition. This provides a description of stable A1-homotopy types of smooth projective Gm-varieties where the...