Top Results

Set Theory

Burgess, John P., author

Cambridge : Cambridge University Press, 2022.

Set theory

Burgess, John P., 1948- author

Cambridge : Cambridge University Press, 2022.

Set theory

Kunen, Kenneth.

London, UK : College Publications, c2011.

Mathematics Library QA248 .K86 2011

An Introduction to Set Theory

C.J. Date

O'Reilly Media, Inc. 2014

--And the truth, will set you free

[Manila? : s.n., 2003?]

Uris Library Asia A/V Videodisc 2019 (SEA)

John Bowlby -- attachment theory across generations

Steele, Howard.

San Luis Obispo, CA : Davidson Films, Inc., 2007.

Set-valued analysis

Dordrecht, The Netherlands ; Norwell, MA : Kluwer Academic Publishers, 1993-

Library Annex QA611.3 .S486

Theory and practice of second language acquisition

Katowice, [Poland] : Wydawnictwo Uniwersytetu Śląskiego, 2015-

The Bible vindicated.

Samuel J. May Anti-Slavery Pamphlet Collection

Volume 3, Number 5: American bee journal

Core Historical Literature of Agriculture

The church and "the world".

Samuel J. May Anti-Slavery Pamphlet Collection

Independence Results in Computer Science

Hartmanis, Juris; Hopcroft, John E.

In this note we show that instances of problems which appear naturally in computer science cannot be answered in formalized set theory. We show, for example, that some relativized versions of the famous P = NP problem cannot be answered in formalized set theory, that explicit…

Published in Cornell University.

A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Moczydlowski, Wojciech

We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from constructive proofs. For this purpose, we axiomatize impredicative constructive…

Published in Cornell University.

Set theory in infinite-dimensional vector spaces

Smythe, Iian

We study examples of set-theoretic phenomena occurring in infinite-dimensional spaces, motivated by functional analysis. This includes equivalence relations induced by ideals of operators on a Hilbert space, a new "local" Ramsey theory for block sequences in Banach spaces and…

Published in eCommons7.