✦ LIBER ✦

Comparing type theory and set theory

✍ Scribed by John Lake

Publisher: John Wiley and Sons
Year: 1975
Tongue: English
Weight: 175 KB
Volume: 21
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19750210144

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Average Hamiltonian Theory and Stationar

Average Hamiltonian Theory and Stationary Perturbation Theory Compared

✍ S.N. Stuart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 149 KB

On topological set theory

✍ Thierry Libert; Olivier Esser 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these show

ON SKALA'S SET THEORY

✍ Jannis Manakos 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 406 KB

Difference Sets and Recursion Theory

✍ James H. Schmerl 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 411 KB

recursively enumerable set but which is not the difference set of any recursive set.

Mathematical Economics and Descriptive S

Mathematical Economics and Descriptive Set Theory

✍ Nikolaos Efstathiou Sofronidis 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 215 KB

The purpose of this paper is first to show that for any integer n ≥ 2, there exist no Borel measurable necessary and sufficient conditions on n lower semi-continuous payoff functions defining a non-cooperative n-person game in strategic form which can assert the existence of non-cooperative Nash equ

Generator Classes in Set Theory

✍ P. Vopênka; B. Balcar 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 146 KB