Searching for "Definability and Invariance." – sorted by Relevance.
-
Type-definable and invariant groups in o-minimal structures
- Type-definable and invariant groups in o-minimal structures Jana Maˇríková February 21, 2007
- Add To MetaCart
-
Results of the Verification of a Complex Pipelined Machine Model
- defines an invariant on an intermediate abstraction that records the history of instructions. We verified
- Add To MetaCart
-
Invariants From Triangulations Of Hyperbolic 3-Manifolds
- finite volume hyperbolic 3-manifold M we use ideal triangulation to define an invariant fi
- Cited by 4 (2 self) – Add To MetaCart
-
Parabolic Iterated Function Systems
- . In this paper we introduce and explore conformal parabolic iterated function systems. We define and study
- Cited by 6 (5 self) – Add To MetaCart
-
A hierarchy of shift equivalent sofic shifts
- prove that these classes define invariants shift equivalence (and thus for conjugacy). Finally, we
- Cited by 2 (0 self) – Add To MetaCart
-
A Denotational Account of Untyped Normalization by Evaluation
- -calculus, with the central type-indexed logical relation replaced by a “recursively defined” invariant relation, in the style
- Add To MetaCart
-
Cohomology rings and nilpotent quotients of real and complex arrangements
- nilpotent quotient, G=G 3 . We dene invariants of G=G 3 by counting normal subgroups of a xed prime index p
- Cited by 13 (6 self) – Add To MetaCart
-
Invariants of lines in space
- and geometric terms, and the connection between the two ways of defining the invariants is established. Since a
- Cited by 7 (3 self) – Add To MetaCart
-
LINK GROUPS OF 4-MANIFOLDS
- introduce the notion of a flexible 2-cell and use it to define invariants – link groups – of 4-manifolds
- Add To MetaCart
-
JEAN-PAUL THOUVENOT ∗∗
- Probabilités UniversitédeParisVI Tour 56, 4 Place Juisseau, 75252, Paris FRANCE Abstract. We define invariants for measure
- Add To MetaCart

