scholarly journals An Algebraic Characterization of Typability in ML with Subtyping

1999 ◽  
pp. 104-119
Author(s):  
Marcin Benke
Keyword(s):  
Algebraic Characterization

scholarly journals Characterization of Dissipative Structures for First-Order Symmetric Hyperbolic System with General Relaxation

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 728
Author(s):  
Yasunori Maekawa ◽  
Yoshihiro Ueda
Keyword(s):  
Hyperbolic System ◽  
Dissipative Structure ◽  
Dissipative Structures ◽  
Algebraic Characterization ◽  
Symmetric Hyperbolic System ◽  
Full Generality ◽  
Order Linear ◽  
First Order

In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1. Our result extends the classical Shizuta–Kawashima condition for the case of symmetric relaxation, with a full generality and optimality.

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

Algebraic characterization of bridged polycyclic compounds

1981 ◽  
Vol 19 (5) ◽  
pp. 929-955 ◽  
Author(s):  
Ov. Mekenyan ◽  
D. Bonchev ◽  
N. Trinajsti?
Keyword(s):  
Algebraic Characterization ◽  
Polycyclic Compounds

scholarly journals Algebraic Characterization of Rings of Continuousp-Adic Valued Functions

2015 ◽  
Vol 44 (2) ◽  
pp. 486-499
Author(s):  
Samuel Volkweis Leite ◽  
Alexander Prestel
Keyword(s):  
Algebraic Characterization

An algebraic characterization of indistinguishable cardinals

1970 ◽  
Vol 35 (1) ◽  
pp. 97-104
Author(s):  
A. B. Slomson
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Algebraic Characterization ◽  
Algebraic Criterion ◽  
Characterizable Cardinals ◽  
Second Order Logic ◽  
Interesting Theorem ◽  
Straightforward Proof

Two cardinals are said to beindistinguishableif there is no sentence of second order logic which discriminates between them. This notion, which is defined precisely below, is closely related to that ofcharacterizablecardinals, introduced and studied by Garland in [3]. In this paper we give an algebraic criterion for two cardinals to be indistinguishable. As a consequence we obtain a straightforward proof of an interesting theorem about characterizable cardinals due to Zykov [6].

Sign in / Sign up

Export Citation Format

Share Document