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  ... 
doi:10.1007/3-540-45413-6_14 fatcat:t2qz4tgtkba2zorjqvhclphcrm

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.  ... 
doi:10.1073/pnas.1310920110 pmid:23893298 pmcid:PMC3746849 fatcat:le3xblvrqfaj3nryor6gegghda

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  ... 
doi:10.1007/s10851-014-0504-5 fatcat:x6hxemzg5bai5kxhxg3wty6sju

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.  ... 
arXiv:1603.03016v1 fatcat:rafsebomefft3o6552w46kfyhu

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  ... 
doi:10.1090/s0273-0979-98-00763-0 fatcat:rresopd5ljd3jdxlskttkyi6du

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.  ... 
doi:10.1016/0304-3975(93)90014-k fatcat:nmhhp7k7irbk3kvmp4uequa6pa

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.  ... 
doi:10.1017/s0960129518000373 fatcat:nayksjkb5jctzd4rupvwk2brtm

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
2021 Revista Facultad de Ingeniería  
This study seeks to determine three analytical methods of load capacity in stratified soils (2 layers) for shallow foundations: 1) Imaginary foundation, 2) Average parameter method (APM), and 3) Terzaghi's  ...  The methods for determining load capacity in stratified soils are numerous and differ in their methods and results.  ...  As a result, it is not recommended to take these results into account as a design method in the latter case.  ... 
doi:10.19053/01211129.v30.n55.2021.12080 fatcat:sqgnt26scrahfixxwytd4zlwoe

Page 2426 of Mathematical Reviews Vol. 58, Issue 4 [page]

1979 Mathematical Reviews  
{For the entire collection see MR 57 #56.} 58 #16297 Jovanovic, Aleksandar Continuum problem at measurable cardinals. Set theory, Foundations of mathematics (Proc. Sympos., Belgrade, 1977). Zb. Rad.  ...  4l=|B|*} ED implies 2*=x*; (ii) | f(«)|< \IIpf( B)|, where |X| is the cardinality of X and II, is the ultra- product modulo D. 58 + 16298 Kanamori, A. Some combinatorics involving ultrafilters. Fund.  ... 
« Previous Showing results 1 — 15 out of 1,364 results