๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Maximal consistent sets of instances of Tarski's schema (T)

โœ Scribed by Vann McGee


Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
360 KB
Volume
21
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Maximal s-Wise t-Intersecting Families o
โœ Lucia Moura ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 239 KB

For fixed s, n, k, and t, let I s (n, k, t) denote the set of all such families. A family A # I s (n, k, t) is said to be maximal if it is not properly contained in any other family in I s (n, k, t). We show that for fixed s, k, t, there is an integer n 0 =n 0 (k, s, t), for which the maximal famili