Results 281 to 290 of about 12,123 (304)

Localized normalization theorems

1987
In this paper the author investigates the existence of normalization theorems for certain localizations of finitely generated algebras over a field. Let K/F be a field extension. Then tr.deg.(K/F) denotes the transcendence degree of K/F. If D is a subset of a ring, then \(D^*\) denotes the nonzero elements of D.
openaire   +2 more sources

A Generalization of the normal Basis Theorem

Mathematische Nachrichten, 1972
openaire   +1 more source

A semantical proof of the strong normalization theorem for full propositional classical natural deduction

Archive for Mathematical Logic, 2005
Nour Karim
exaly  

The Spectral Theorem for Normal Operators

Journal of the London Mathematical Society, 1965
openaire   +2 more sources

A Connection Between Cut Elimination and Normalization

Archive for Mathematical Logic, 2005
Mirjana Borisavljević
exaly  

Noether Normalization theorem and dynamical Gröbner bases over Bezout domains of Krull dimension 1

Journal of Algebra, 2017
Ihsen Yengui
exaly  

Refined Noether Normalization Theorem and Sharp Degree Bounds for Dominating Morphisms

Communications in Algebra, 2005
T Winiarski
exaly  

Successive normalization of rectangular arrays

Annals of Statistics, 2010
Richard A Olshen, Bala Rajaratnam
exaly  

On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem

Theoretical Computer Science, 2016
Federico Aschieri, Margherita Zorzi
exaly  

Strong normalization of barrecursive terms without using infinite terms

Archive for Mathematical Logic, 1985
Bezem Marc
exaly