The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 3679 of Mathematical Reviews Vol. , Issue 94g
[page]
1994
Mathematical Reviews
Preserved Fulltext
{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
2015
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2004
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Trends in Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Graphical Models
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2013
Transactions of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2018
Logic and Logical Philosophy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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