Tietze Extension Theorem

被引：0

|

作者：

Kornilowicz, Artur ^{[1
]}

Bancerek, Grzegorz ^{[2
]}

Naumowicz, Adam ^{[3
]}

机构：

[1] Univ Bialystok, Inst Comp Sci, Sosnowa 64, PL-15887 Bialystok, Poland

[2] Bialystok Tech Univ, Dept Theoret Comp Sci, Bialystok, Poland

[3] Univ Bialystok, Inst Comp Sci, PL-15267 Bialystok, Poland

来源：

FORMALIZED MATHEMATICS | 2005年 / 13卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper we formalize the Tietze extension theorem using as a basis the proof presented at the PlanetMath web server(1).

引用

收藏

页码：471 / 475

页数：5

相关论文

共 50 条

[31] The Extension Theorem
Dolbilin, NP
DISCRETE MATHEMATICS, 2000, 221 (1-3) : 43 - 59
[32] EXTENSION THEOREM
MAUREY, B
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1974, 279 (09): : 329 - 332
[33] An Effective Tietze-Urysohn Theorem for QCB-Spaces (Extended Abstract)
Schroeder, Matthias
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 221 (231-242) : 231 - 242
[34] Definable Tietze extension property in o-minimal expansions of ordered groups
Masato Fujita
Archive for Mathematical Logic, 2023, 62 : 941 - 945
[35] Definable Tietze extension property in o-minimal expansions of ordered groups
Fujita, Masato
ARCHIVE FOR MATHEMATICAL LOGIC, 2023, 62 (7-8) : 941 - 945
[36] AN EXTENSION OF SZEGOS THEOREM
MORITA, T
JOURNAL OF MATHEMATICAL PHYSICS, 1991, 32 (01) : 62 - 68
[37] EXTENSION OF SCHUR THEOREM
BOOS, J
MANUSCRIPTA MATHEMATICA, 1980, 31 (1-3) : 111 - 117
[38] ON HERZ EXTENSION THEOREM
DELAPORTE, J
DERIGHETTI, A
BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1992, 6A (02): : 245 - 247
[39] An extension of a theorem of Kulakoff
Easterfield, TE
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1938, 34 : 316 - 320
[40] ON AN EXTENSION OF GEARY THEOREM
LAHA, RG
BIOMETRIKA, 1953, 40 (1-2) : 228 - 229

← 1 2 3 4 5 →