Filters








23 Hits in 2.1 sec

Page 3679 of Mathematical Reviews Vol. , Issue 94g [page]

1994 Mathematical Reviews  
{See also the following review. } Ivo Diintsch (Osnabriick) 94g:06020 06D20 03G25 Stomczynska, Katarzyna (PL-PUCR-IM; Krakéw) Normal retractions in ordered equivalential algebras. Rep. Math.  ...  An ordering compatible with the equivalence operation as well as the concept of order-normal retractions are introduced.  ... 

Factor varieties

Antonino Salibra, Antonio Ledda, Francesco Paoli
2015 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
Here, we modify the definition of discriminator algebra by having the switching function project onto its third coordinate in case the ordered pair of its first two coordinates belongs to a designated  ...  The universal algebraic literature is rife with generalisations of discriminator varieties, whereby several investigators have tried to preserve in more general settings as much as possible of their structure  ...  An algebra A is an equivalential factor algebra iff it has an equivalential ternary factor function.  ... 
doi:10.1007/s00500-015-1828-9 fatcat:5uevldiw4bbp5ktd75vjurlsse

Page 3908 of Mathematical Reviews Vol. , Issue 96g [page]

1996 Mathematical Reviews  
Dana Scott constructed the first such model D., in a category of algebraic lattices. Since then, lambda models have been described in various other categories of ordered sets.  ...  A model of the untyped lambda calculus can be described as an object X in some Cartesian closed category for which the exponent X% is a retract of X.  ... 

Fregean logics

J. Czelakowski, D. Pigozzi
2004 Annals of Pure and Applied Logic  
A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe.  ...  A deductive system is a second-order matrix over the formula algebra of some ÿxed but arbitrary language.  ...  Any equivalential system that fails to be Fregean, for example almost every normal modal logic, provides a counterexample.  ... 
doi:10.1016/j.apal.2003.11.008 fatcat:olb2rhj5kng6bprspq6jhfntre

Fregean Logics [chapter]

Janusz Czelakowski
2001 Trends in Logic  
A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A deductive system is a 2nd-order matrix over the formula algebra of some fixed but arbitrary language.  ...  Normal modal logics are non-Fregean while quasi-normal modal logics are generally Fregean.  ...  Any equivalential system that fails to be Fregean, for example almost every normal modal logic, provides a counterexample.  ... 
doi:10.1007/978-94-017-2807-2_9 fatcat:mppvh4jvmffehjuvihg2lnzowq

Page 109 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
The case of normal modal systems without the Barcan formula. (Chinese.  ...  (English summary) 974:03026 Slomezyfiska, Katarzyna Linear equivalential algebras. 971:06008 — Equivalential algebras. 1. Representation. 97f:08007 Sun, Da Jun Endomorphisms of BCI-algebras.  ... 

Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity [article]

Josse van Dobben de Bruyn
2020 arXiv   pre-print
The tensor product of two ordered vector spaces can be ordered in more than one way, just as the tensor product of normed spaces can be normed in multiple ways.  ...  projective/injective tensor product of two closed proper cones is contained in a closed proper cone (at least in the algebraic tensor product).  ...  Sherbert answered various topological and order-theoretic question about these cones, for instance relating to normality and order units.  ... 
arXiv:2009.11836v1 fatcat:2txhxbdhorg5zl4dctdlduht6q

Skeletal representations of orthogonal shapes

Jonàs Martínez, Núria Pla, Marc Vigo
2013 Graphical Models  
We also provide an efficient and robust algorithm to compute the scale cube axis in R 2 and compare the resulting skeleton with other skeletal representations.  ...  In this paper we present two skeletal representations applied to orthogonal shapes of R n : the cube axis and a family of skeletal representations provided by the scale cube axis.  ...  order to properly define the deformation retract.  ... 
doi:10.1016/j.gmod.2013.03.005 fatcat:5klru3dn7zfi7ekqu6zr6duybi

Page 1255 of Mathematical Reviews Vol. 26, Issue Index [page]

Mathematical Reviews  
(Ivo Diintsch) 94g:06019 06D20 (03G25) — Normal retractions in ordered equivalential algebras. Rep. Math. Logic No. 26 (1992), 75-87 (1993).  ...  (Eugenio Regazzini) 94k:60057 60G05 (60A05) — Decompositions and projections in equivalential algebras. Rep. Math. Logic No. 26 (1992), 11-24 (1993).  ... 

Topological methods in moduli theory [article]

Fabrizio Catanese
2015 arXiv   pre-print
Motivated from this study, the moduli spaces of algebraic varieties, and especially of algebraic curves with a group of automorphisms of a given topological type are studied in detail, following new results  ...  In the case of surfaces isogenous to a product, it is shown how this yields a faifhtul action on the set of connected components of the moduli space: for each Galois automorphisms of order different from  ...  retraction r : T (N ) → N .  ... 
arXiv:1411.3235v2 fatcat:ty4f4bjlcjdbjfmrujuwrxrkei

Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II

Vincenzo Marra
2013 Transactions of the American Mathematical Society  
The results in the present paper will show that abstract Schauder bases can in fact be characterised in the language of lattice-ordered groups by means of an elementary algebraic notion that we call regularity  ...  An abstract, purely algebraic version of Schauder bases was investigated in the first part of the present paper, with motivations coming from the theory of lattice-ordered Abelian groups.  ...  Acknowledgement The author visited the University of Cambridge for the first time in Michaelmas Term 2001, as a Ph.D. student. During that visit, thanks to his host, Andrew M.W.  ... 
doi:10.1090/s0002-9947-2013-05706-6 fatcat:ifdrwd2jdjaq5msn36246jpgca

Triangulated categories of logarithmic motives over a field [article]

Federico Binda and Doosung Park and Paul Arne Østvær
2021 arXiv   pre-print
In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato.  ...  We show that Hodge cohomology of log schemes is a □-invariant theory that is representable in the category of logarithmic motives.  ...  In order to compare 2 and (P 2 , P 1 ), we consider the blow-up X of P 2 at a point contained in its boundary, P 1 .  ... 
arXiv:2004.12298v2 fatcat:mpjopzr7e5h5dg3inj2gywpylm

Supervenience, Dependence, Disjunction

Lloyd Humberstone
2018 Logic and Logical Philosophy  
The Väänänen-inspired treatment is presented in a third section, and then, in sections 4 and 5, as a kind of centerpiece for the discussion, we follow Goranko and Kuusisto in elaborating one principal  ...  can be accommodated in a recursive approach."  ...  I am grateful to Valentin Goranko, Antti Kuusisto and Jie Fan for keeping me abreast of their thoughts on these issues, and, for assistance in various further ways during the writing, to Johan van Benthem  ... 
doi:10.12775/llp.2018.007 fatcat:rkznhmqtcfc2fbxzf6p67gg2le

Refinement of UML/MARTE models for the design of networked embedded systems

E. Ebeid, F. Fummi, D. Quaglia, F. Stefanni
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
The desired final position of the Normal mode Initially, the system enters the normal mode with the table fully up and retracted, so in an up and out position (Figure 7 .9).  ...  First, the table is retracted since this is always a safe movement. Then, when the table is fully retracted, the table is moved up until it reaches the top position.  ...  We laten zien dat het mogelijk is om betere desynchronisatie condities te vinden (zelfs voor fijnere equivalenties dan vertakkende bisimulatie) door eigenschappen van het communicatie protocol aan te passen  ... 
doi:10.1109/date.2012.6176654 dblp:conf/date/EbeidFQS12 fatcat:7pehu37eb5dvhakr7xqwqanbhy

The Mori fan of the Dolgachev-Nikulin-Voisin family in genus 2 [article]

Klaus Hulek, Carsten Liese
2022 arXiv   pre-print
In this paper we study the Mori fan of the Dolgachev-Nikulin-Voisin family in degree 2 as well as the associated secondary fan.  ...  These not only improved the presentation considerably, but also helped us correct an error in the first version of the paper.  ...  Equivalenty, Bir(Y /S) Aut(Y η ) is finite if and only if 2d = 2 (in which case it is isomorphic to S 3 ). In this case the Weyl chamber is rational polyhedral.  ... 
arXiv:1911.06862v2 fatcat:liupulbebnduxa4wfjg5reylwq
« Previous Showing results 1 — 15 out of 23 results