✦ LIBER ✦

Constructive description of the compact set of states

✍ Scribed by A. Posiewnik; J. Pykacz

Publisher: Springer
Year: 1986
Tongue: English
Weight: 438 KB
Volume: 25
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf00668706

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive description of analytic fun

Constructive description of analytic functions of the Hölder class

✍ I. N. Brui 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 281 KB

Complexity of the index set of a constru

Complexity of the index set of a constructive model

✍ V. P. Dobritsa 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 551 KB

Constructive description of the effectiv

Constructive description of the effective domain of a dual function

✍ S. V. Rzhevskii 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 481 KB

A constructive theory of point-set nearn

A constructive theory of point-set nearness

✍ L.S. Vı&#x0302;ţă; D.S. Bridges 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 264 KB

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.

Functional interpretation of Aczel's con

Functional interpretation of Aczel's constructive set theory

✍ Wolfgang Burr 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 266 KB

In the present paper we give a functional interpretation of Aczel's constructive set theories CZF -and CZF in systems T∈ and T + ∈ of constructive set functionals of ÿnite types. This interpretation is obtained by a translation × , a reÿnement of the ∧ -translation introduced by Diller and Nahm (Arc

Affine Maczyński logics on compact conve

Affine Maczyński logics on compact convex sets of states

✍ J. Pykacz 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 405 KB