✦ LIBER ✦

On functions definable in implicational algebras

✍ Scribed by Pawel Bielak

Publisher: Springer Netherlands
Year: 1975
Tongue: English
Weight: 179 KB
Volume: 34
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02314427

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functions definable in Sugihara algebras

Functions definable in Sugihara algebras and their fragments. II

✍ Marek Tokarz 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 186 KB

Functions definable in Sugihara algebras

Functions definable in Sugihara algebras and their fragments (I)

✍ Marek Tokarz 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 408 KB

Equationally definable implication algeb

Equationally definable implication algebras for orthomodular lattices

✍ G. N. Georgacarakos 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 734 KB

On Σ1-definable Functions Provably Total

On Σ1-definable Functions Provably Total in I ∏

✍ Teresa Bigorajska 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

We prove the following theorem: Let cp(z) be a formula in the language of the theory PAof discretely ordered commutative rings with unit of the form 3 y p ' ( z , y ) with 'p' E Ao and let f, : N -+ R be such that f,(z) = y iff cp'(z, y) & (Vz < y) ~( p ' ( z , 2 ) . If ITIF I -(Vz 2 0) cp(z), then

The Degree Spectra of Definable Relation

The Degree Spectra of Definable Relations on Boolean Algebras

✍ P. M. Semukhin 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 188 KB

On the Boolean algebras of definable set

On the Boolean algebras of definable sets in weakly o-minimal theories

✍ Stefano Leonesi; Carlo Toffalori 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB 👁 1 views

## Abstract We consider the sets definable in the countable models of a weakly o‐minimal theory __T__ of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic (hence __T__ is p‐__ω__‐categorical), in other words when each of these definable sets adm