Tag set-theory [35 articles] Export

Recent papers classified by the tag set-theory.

	Sets with a negative number of elements [My Copy] Advances in Mathematics, Vol. 91, No. 1. (January 1992), pp. 64-74. by D. Loeb posted to set-theory by JoseBrox on 2009-10-31 21:35:44 as
	Negative sets have Euler characteristic and dimension [My Copy] Category Theory (1991), pp. 379-385. by Stephen Schanuel posted to set-theory by JoseBrox on 2009-10-31 21:32:48 as along with 1 person robinhouston
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction In Lecture Notes in Computer Science, Vol. 2297 (2002), pp. 89-150. by Roland Backhouse edited by Roland Backhouse, Roy Crole, Jeremy Gibbons posted to tutorial theory set-theory partial-order mathematics galois-connection fixed-point 2002 by michaelbanks on 2009-09-01 11:46:21 as along with 6 people jirak neelk neelkrishnaswami spl leonardo Scis0000002
	Sets for Mathematics [My Copy] (27 January 2003) by F. William Lawvere, Robert Rosebrugh posted to set-theory mathematics introduction category-theory book 2003 by michaelbanks on 2009-08-28 13:09:13 as along with 5 people and 2 groups seno isotelesis DavidChemouil mahler rgb Rightscom pileWorks
	Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics) [My Copy] (13 May 1999) by Paul Taylor posted to semantics set-theory by robertjohnsimmons on 2009-08-02 00:48:10 as along with 2 people mstone masteraka
	Functional Pearls: Efficient sets -- a balancing act [My Copy] J. of Functional Programming, Vol. 3, No. 04. (1993), pp. 553-561. by Stephen Adams posted to trees submit-incremental set-theory ml functional-programming data-structures by spl on 2009-07-22 14:02:37 as
	Facets of Systems Science [My Copy] (01 August 2001) by George J. Klir posted to 1991 2001 215c set-theory systems-theory by emiliorp on 2009-06-14 20:05:36 as along with 1 person wnpx
	General Systems Theory: A Mathematical Approach [My Copy] (31 January 2002) by Yi Lin posted to 2002 29c mathematical-form set-theory systems-theory by emiliorp on 2009-06-09 15:55:19 as
	Is set theory indispensable? [My Copy] (11 May 2009) by Nik Weaver posted to logic set-theory by ansobol on 2009-05-12 08:08:44 as along with 4 people aitter jrw jjray jjrohal
	The strength of extensionality I — weak weak set theories with infinity [My Copy] Annals of Pure and Applied Logic (11 November 2008) by K. Sato posted to proof-theory set-theory by yoriyuki on 2009-01-05 14:04:11 as along with 1 person hubris
	Experiments with ZF set theory in HOL and Isabelle [My Copy] Higher Order Logic Theorem Proving and Its Applications (1995), pp. 32-45. by Sten Agerholm, Mike Gordon posted to set-theory type-theory by msakai on 2008-10-13 06:51:03 as
	Sets in types, types in sets [My Copy] In Proceedings of TACS'97, Vol. 1281 (1997), pp. 530-546. by Benjamin Werner posted to set-theory type-theory by yoriyuki on 2008-09-14 04:15:12 as along with 1 person msakai
	When is a function a fold or an unfold? [My Copy] Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 146-160. by Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch posted to fold recursion set-theory unfold by spl on 2008-08-08 16:37:29 as
	A Brief History of Future Set Theory [My Copy] (27 Jul 2008) by Werner Depauli-Schimanovich posted to logic set-theory by ansobol on 2008-07-30 11:06:46 as
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted to history logic set-theory by ansobol on 2008-07-22 11:06:08 as along with 6 people and 3 groups A_Olympia recordmymind rzach aeagle ds Scis0000002 Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	An Historical Account Of Set-Theoretic Antinomies Caused By The Axiom Of Abstraction [My Copy] by Justin M. Er posted to antinomies paradoxes set-theories set-theory by Scis0000002 on 2008-07-22 08:51:20 as along with 1 person recordmymind
	A New Finestructural Hierarchy for the Constructible Universe [My Copy] by Peter Koepke posted to constructibility constructible-sets constructible-universe definability fol goedel-machines hierarchies hierarchy-of-complexity-classes hierarchy-of-formal-systems hierarchy-of-frameworks hierarchy-of-languages hierarchy-of-theories hierarchy-of-toposes hierarchy-of-truths hierarchy-of-types higher-order hypercomputability inner-models mathematical-structures metamathematics n-frameworks n-hierarchies omega-frameworks omega-hierarchies omega-hierarchy omega-models omega-sciences provability set-theory skolemization skolem-paradox by Scis0000002 on 2008-07-18 22:10:28 as
	Putnam's indeterminacy argument: The Skolemization of absolutely everything [My Copy] Philosophical Studies, Vol. 51, No. 1. (1 January 1987), pp. 77-99. by Carsten Hansen posted to model-theory philosophy-of-science semantics set-theory skolemization skolem-loewenheim-theorem toes topos-theory by Scis0000002 on 2008-07-17 05:29:12 as
	On Evans's Vague Object from Set Theoretic Viewpoint [My Copy] Journal of Philosophical Logic, Vol. 35, No. 4. (2006), pp. 423-434. by Shunsuke Yatabe, Hiroyuki Inaoka posted to philosophy print vaguness set-theory by yoriyuki on 2008-07-04 09:48:03 as along with 1 person msakai
	Absolutism and Relationism in Space and Time: A False Dichotomy [My Copy] Br J Philos Sci, Vol. 39, No. 2. (1 June 1988), pp. 183-192. by I. A. N. Hinckfuss posted to model-theory ordinal set-theory skolem-paradox by Scis0000002 on 2008-05-07 14:51:14 as along with 2 people and 1 group A_Olympia qwermish Philosophy of physics
	Review: [Reflections on Skolem's Relativity of Set-Theoretical Concepts] [My Copy] The Bulletin of Symbolic Logic, Vol. 11, No. 1. (2005), pp. 84-89. by Peter Schotch posted to local-mathematics local-models-semantics model-theory relativity set-theory skolem-loewenheim-theorem skolem-paradox by Scis0000002 on 2008-05-05 14:16:30 as
	A New Approach to Abstract Syntax with Variable Binding [My Copy] Journal of the Interest Group in Pure and Applied Logics, Vol. 9 (2) (2001), pp. 157-190. by D. M. Gabbay, J. Woods posted to binding lambda-calculus set-theory by mvermaat on 2008-04-16 14:53:44 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to set-theory by dmitri83 on 2007-12-29 03:19:01 as along with 8 people and 1 group JoseBrox pirapira jrw qwermish ansobol archernikov jedal teesid Model theory
	Foundations for abstract forcing [My Copy] (12 Dec 2007) by Peter M. Johnson posted to set-theory by dmitri83 on 2007-12-29 03:11:23 as along with 1 person and 1 group archernikov Model theory
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to set-theory by dmitri83 on 2007-12-29 03:10:07 as along with 2 people and 1 group proportional archernikov Model theory
	Classic Set Theory: For Guided Independent Study (Chapman & Hall Mathematics) [My Copy] (01 July 1996) by D. C. Goldrei posted to set-theory by brecknell on 2007-12-13 03:27:56 as
	An Operational Approach to Combining Classical Set Theory and Functional Programming Languages [My Copy] In Theoretical Aspects of Computer Software, Vol. 789 (1994), pp. 36-55. by Douglas J. Howe, Scott Stoller edited by Masami Hagiya, John C. Mitchell posted to functional-programming set-theory by Scis0000002 on 2007-11-03 14:50:35 as
	Notes on constructive set theory [My Copy] (1997) by P. Aczel posted to set-theory by ds on 2007-07-09 15:30:56 as
	A Theory of Hyperfinite Sets [My Copy] Annals of Pure and Applied Logic In International Meeting on Logic, Algebra and Geometry, Vol. 143, No. 1-3. (November 2006), pp. 3-19. by P. V. Andreev, E. I. Gordon posted to set-theory by dmitri83 on 2006-10-24 14:12:32 as
	What is Boolean Valued Analysis? [My Copy] (6 Oct 2006) by S. S. Kutateladze posted to set-theory survey by dmitri83 on 2006-10-11 17:51:50 as along with 1 person ansobol
	Set-Theoretic Preliminaries for Computer Scientists [My Copy] (9 Jul 2006) by M. H. van Emden posted to cs database relation set-theory teaching by ansobol on 2006-07-11 09:17:06 as along with 2 people jrw proportional
	Sets for mathematics [My Copy] (2003) by William F. Lawvere, Robert Rosebrugh posted to book category-theory set set-theory by ansobol on 2006-07-10 12:50:01 as along with 3 people and 1 group TooMuchCoffeeMan rgb mmarcus pileWorks
	Division by three [My Copy] (31 May 2006) by Peter G. Doyle, John H. Conway posted to set-theory by ansobol on 2006-06-01 06:13:19 as along with 3 people and 2 groups A_Olympia jrw TooMuchCoffeeMan Philosophy_of_Information Blog_and_Wiki_Research
	Classical Descriptive Set Theory (Graduate Texts in Mathematics) [My Copy] (06 January 1995) by Alexander S. Kechris posted to set set-theory by ansobol on 2006-05-01 14:47:46 as along with 2 people BarrosH cfrench
	Transfer principle in quantum set theory [My Copy] (15 Apr 2006) by Masanao Ozawa posted to quantum quantum-logic quantum-probability set-theory by ansobol on 2006-04-18 10:58:17 as along with 1 person proportional

Note: You may cite this page as: http://www.citeulike.org/tag/set-theory

logic	3
model-theory	3
skolem-paradox	3
type-theory	3
2002	2
book	2
category-theory	2
functional-programming	2
mathematics	2
semantics	2
set	2
skolem-loewenheim-theorem	2
skolemization	2
systems-theory	2
1991	1
2001	1
2003	1
215c	1
29c	1
antinomies	1
binding	1
constructibility	1
constructible-sets	1
constructible-universe	1
coq	1
cs	1
data-structures	1
database	1
definability	1
fixed-point	1
fol	1
fold	1
galois-connection	1
goedel-machines	1
hierarchies	1
hierarchy-of-complexity-classes	1
hierarchy-of-formal-systems	1
hierarchy-of-frameworks	1
hierarchy-of-languages	1
hierarchy-of-theories	1
hierarchy-of-toposes	1
hierarchy-of-truths	1
hierarchy-of-types	1
higher-order	1
history	1
hypercomputability	1
inner-models	1
introduction	1
lambda-calculus	1
local-mathematics	1
local-models-semantics	1
mathematical-form	1
mathematical-structures	1
metamathematics	1
ml	1
n-frameworks	1
n-hierarchies	1
omega-frameworks	1
omega-hierarchies	1
omega-hierarchy	1
omega-models	1
omega-sciences	1
ordinal	1
paradoxes	1
partial-order	1
philosophy	1
philosophy-of-science	1
print	1
proof-theory	1
provability	1
quantum	1
quantum-logic	1
quantum-probability	1
recursion	1
relation	1
relativity	1
set-theories	1
submit-incremental	1
survey	1
teaching	1
theory	1
toes	1
topos-theory	1
trees	1
tutorial	1
unfold	1
vaguness	1

Tag set-theory [35 articles] Export

Related Tags