𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some results and problems on set theory

✍ Scribed by A. Hajnal

Publisher
Akadmiai Kiad
Year
1960
Tongue
English
Weight
924 KB
Volume
11
Category
Article
ISSN
1588-2632

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Some Results in Aczel-Feferman Logic and
Some Results in Aczel-Feferman Logic and Set Theory
✍ M. W. Bunder πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 405 KB πŸ‘ 1 views

SOME RESULTS IN ACZEL-FEFERMAN LOGIC AND SET THEORY by M. W. BUNDER, Wollongong, N. S. W. (Australia)

Some recent problems and results in grap
Some recent problems and results in graph theory
✍ Paul ErdΓΆs πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 230 KB

I will mention two of my favourite problems in which recently important progress was made. The other questions I will mention are perhaps less well known. 1. Faber, Lowisz and I conjectured more than 20 years ago that if Gi, 1 <<.i~n are n G n edge disjoint complete graphs of size n then Ui=l i has

From Set-theoretic Coinduction to Coalge
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
✍ Marina Lenisa πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 241 KB

We investigate the relation between the set-theoretical description of coinduction based on Tarski Fixpoint Theorem, and the categorical description of coinduction based on coalgebras. In particular, we introduce set-theoretic generalizations of the coinduction proof principle, in the spirit of Miln