Filters
Liouville Type Theorems in the Theory of Mappings of Complete Riemannian Manifolds
We prove vanishing theorems for projective and holomorphically projective diffeomorphisms of Riemannian and Kähler complete manifolds. In the proof, we use the wellknown Liouville type theorems on harmonic, subharmonic and ...
Pure mathematics
- 2017 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Liouville type theorem about projective mapping of complete Riemannian manifold
In the present paper we prove a vanishing theorem for projective diffeomorphisms of a Riemannian complete manifolds. We will use the well-known Yau Liouville type theorem for complete Riemannian manifolds....
Pure mathematics
- 2017 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
Aconsequence of an equivalence theorem on linear programming and experimental design
Basic themes of document: linear programming; P-completeness; experimental design; equivalence theorem...
BB - Aplikovaná statistika, operační výzkum
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Probabilistic proofs and NP-completeness (A course on the PCP theorem and its consequences)
Lecture notes...
BA - Obecná matematika
- 2002 •
- Vx
Rok uplatnění
Vx - Nezařazeno - Výzkumná zpráva obsahující utajované informace (takový výsledek lze do RIV vložit pouze v případě, že zpráva obsahuje utajované informace a pole R12 = U), nebo souhrnná výzkumná zpráva
A Cantor-Bernstein theorem for S-complete MV-algebras
The Cantor-Bernstein theorem was extended to S-complete boolean algebras by Sikorski and Tarski. Chang's MV-algebras are a nontrivial generalization of boolean theorem to S-complete MV-algebras, and compare it to a...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A new proof of Ajtai's completeness theorem for nonstandard finite structures
Ajtai's completeness theorem roughly states that a countable structure A coded in a model of arithmetic can be end-extended and expanded to a model of a given theory G if and only if a contradiction cannot be derived by a (possibly ...
BA - Obecná matematika
- 2015 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Liouville-type theorems for some classes of Riemannian almost product manifolds and for special mappings of Riemannian manifolds
theorems for some complete, non-compact Riemannian almost product manifolds, conformal and projective diffeomorphisms and submersions of complete, non-compact Riemannian manifolds. The proofs are based on a generalized Boc...
Pure mathematics
- 2017 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The Hilbert program: change of mathematical practice before and after the Gödel theorems on completeness
The chapter deals with the problem of the completeness in mathematics as defined by the Hilbert program. Further it describes the overwhelming of the program by the Gödel incompleteness theorems and shows the alternatives how to und...
AA - Filosofie a náboženství
- 2010 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Infinitary first-order categorical logic
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes pr...
Applied mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Complete Riemannian manifolds with Killing-Ricci and Codazzi-Ricci tensors
The purpose of this paper is to prove of Liouville type theorems, i. e., theorems on the non-existence of Killing-Ricci and Codazzi-Ricci tensors on complete non-compact Riemannian manifolds. Our results complement the two ...
Pure mathematics
- 2022 •
- Jost •
- Link
Rok uplatnění
Jost - Ostatní články v recenzovaných periodicích
Výsledek na webu
- 1 - 10 out of 37 299