scholarly journals TOPOLOGICAL NOETHERIANITY FOR ALGEBRAIC REPRESENTATIONS OF INFINITE RANK CLASSICAL GROUPS

2021 ◽  
Author(s):  
R. H. EGGERMONT ◽  
A. SNOWDEN
Keyword(s):  
Classical Groups ◽  
Infinite Rank ◽  
Polynomial Representations ◽  
Algebraic Representations

AbstractDraisma recently proved that polynomial representations of GL∞ are topologically noetherian. We generalize this result to algebraic representations of infinite rank classical groups.

Classical Groups, Derangements and Primes

2015 ◽  
Author(s):  
Timothy C. Burness ◽  
Michael Giudici
Keyword(s):  
Classical Groups

scholarly journals On Polymorphic Sessions and Functions

2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida
Keyword(s):  
Natural Deduction ◽  
Sequent Calculus ◽  
Linear Logic ◽  
Linear Formulation ◽  
Session Types ◽  
Logical Foundation ◽  
Π Calculus ◽  
Soundness And Completeness ◽  
System F ◽  
Algebraic Representations

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.

scholarly journals Power series coefficients for probabilities in finite classical groups

2006 ◽  
Vol 305 (2) ◽  
pp. 1212-1237
Author(s):  
John R. Britnell ◽  
Jason Fulman
Keyword(s):  
Power Series ◽  
Classical Groups ◽  
Finite Classical Groups

scholarly journals Minimal logarithmic signatures for one type of classical groups

2016 ◽  
Vol 28 (2) ◽  
pp. 177-192
Author(s):  
Haibo Hong ◽  
Licheng Wang ◽  
Haseeb Ahmad ◽  
Jun Shao ◽  
Yixian Yang
Keyword(s):  
Classical Groups ◽  
Logarithmic Signatures
Sign in / Sign up

Export Citation Format

Share Document