Filters

1,364 Hits in 3.5 sec

### The Stratified Foundations as a Theory Modulo [chapter]

Gilles Dowek
2001 Lecture Notes in Computer Science
We show in this note that the Strati ed Foundations can be presented in deduction modulo and that the method used in the original normalization proof can be adapted to construct a pre-model for this theory  ...  The Strati ed Foundations are a restriction of naive set theory where the comprehension scheme is restricted to strati able propositions.  ...  P) The Strati ed Foundations as a theory modulo Now we want to replace the axiom scheme above by a rewrite rule, de ning a congruence on propositions, so that the Strati ed Foundations are de ned as  ...

### Page 8785 of Mathematical Reviews Vol. , Issue 2002M [page]

2002 Mathematical Reviews
We examine the analogous problem in terms of half-reconstruction.” 2002m:03074 0330 03B40 03F05 Dowek, Gilles (F-INRIA; Le Chesnay) The stratified foundations as a theory modulo.  ...  Summary: “The stratified foundations are a restriction of naive set theory where the comprehension scheme is restricted to stratifiable propositions.  ...

### Page 3799 of Mathematical Reviews Vol. , Issue 2002F [page]

2002 Mathematical Reviews
This notion can be extended to deal with the axioms of some theories, e.g. type theory, set theory, the stratified foundations, etc.  ...  A proof-theoretical study, Almqvist & Wiksell, Stockholm, 1965; MR 33 #1227] (called cut with a A-introduction and a A-elimination rule there) and used for several theories and the notion of cut modulo  ...

### Model theory and the cardinal numbers p and t

J. T. Moore
2013 Proceedings of the National Academy of Sciences of the United States of America
One method of stratifying theories is Keisler's order (8), which measures how easily the models of the theory become saturated by taking ultrapowers.  ...  Set theory-one of the four main branches of modern logic-concerns itself with foundational issues relating to uncountable sets.  ...  One method of stratifying theories is Keisler's order (8) , which measures how easily the models of the theory become saturated by taking ultrapowers.  ...

### Geometry and Statistics: Manifolds and Stratified Spaces

Aasa Feragen, Mads Nielsen, Eva Bjørn Vedel Jensen, Andrew du Plessis, François Lauze
2014 Journal of Mathematical Imaging and Vision
The princi-ples of Grenander's pattern theory are the foundation of modern research topics such as Log-Demons [5] and Large Deformation Diffeomorphic Metric Mappings (LDDMM) [6, 7] ; see also [8]  ...  In the paper Diffusion on some simple stratified spaces, Nye and White [29] develop a theory for diffusion processes on simple stratified spaces.  ...  Her research interests include the mathematical modeling of structured data such as trees and networks, and the development of statistical and machine learning methodology for their analysis, with applications  ...

### Page 7594 of Mathematical Reviews Vol. , Issue 2004j [page]

2004 Mathematical Reviews
In the first part of this paper, a number of game theories in formal studies are critically surveyed.  ...  The context unification problem (CUP) can be seen as a variant of second-order unification or as a generalization of the string unification problem.  ...

### Page 6978 of Mathematical Reviews Vol. , Issue 2001J [page]

2001 Mathematical Reviews
theory for Milnor classes (181-201); Francois Loeser, The Milnor fiber as a virtual motive (203-220); Isao Nakai, Elementary topology of stratified mappings (221-243); Mutsuo Oka [Mutsuo Oka'], Ge- ometry  ...  solution lifts to a true solution if and only if it lifts to a modulo #”” solution. The paper takes a closer look at the modulo ¢”*!  ...

### On Grothendieck's tame topology [article]

Norbert A'Campo, Lizhen Ji, Athanase Papadopoulos
2016 arXiv   pre-print
The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichmüller theory. This volume is dedicated to the memory of Alexander Grothendieck.  ...  We also mention briefly the relations between Grothendieck's ideas and earlier theories developed by Whitney, Lojasiewicz and Hironaka and especially Thom, and with the more recent theory of o-minimal  ...  The authors wrote this chapter during a stay at the Mittag-Leffler Institute, and they would like to thank the institute for its hospitality.  ...

### Page 5098 of Mathematical Reviews Vol. , Issue 95i [page]

1995 Mathematical Reviews
The author uses them to construct models M and N as prescribed by Dzierzgowski by a n/n, a an a a ee a)  ...  As Hodges proved the conjecture for 4 = 4<’, the only open case was for T stable, |T| < 4 < A<*. For completeness, the authors include proofs for both cases.  ...

### Book Review: The topological classification of stratified spaces

Sylvain Cappell
1998 Bulletin of the American Mathematical Society
(This theme recurs in this book, which is appropriate as it is a powerful current in recent work -as the two volumes [FRR] attest.) Part II develops the theory of stratified spaces.  ...  From the point of view of the central thrust of this book, the controlled topology enters in the proofs of the kind of stratified h-cobordism theorem (due to [Q1] , modulo an issue of realization that  ...

### A semantic characterization of the well-typed formulae of λ-calculus

Thomas Forster
1993 Theoretical Computer Science
A model-theoretic operation is characterized that preserves the property of being a model of typed i-calculus (i.e.. the result of applying it to a model of typed i.  ...  ., A semantic characterization of the well-typed formulae of i-calculus, Theoretical Computer Science I IO (1993) 405-418.  ...  (n + 2)-stratified formulae as. 4) and on the other hand if T is a set of ,// it may preserve some sentences that are not stratified.  ...

### Preface

Valeria de Paiva, Ruy de Queiroz
2019 Mathematical Structures in Computer Science
Each meeting includes invited talks and tutorials as well as contributed papers.  ...  This volume collects together extended and improved versions of papers presented at the twentysecond Workshop on Logic, Language, Information and, Computation (WoLLIC 2015) held at the School of Informatics  ...  They provide a polynomial reduction to Satisfiability Modulo Theories and get that validity in the logic is also decidable.  ...

### Page 1106 of Mathematical Reviews Vol. , Issue 96b [page]

1996 Mathematical Reviews
The paper, as well as providing a comparative account of the two paradigms, contains a number of examples and counterexamples of event structure and pomset semantics for specific situations. David V.  ...  may occur such that if the rules are stratifiable, strong bisimulation equivalence is a congruence for all the operators that can be defined within the panth format.  ...

### Evaluation of Load Capacity of Stratified Soils (2 Layers) by Means of Numerical Analytical Comparison

Jairo Alejandro Quintero-Chamorro, Brayan Julián Martínez-Ortega, Lucio Gerardo Cruz-Velasco