Tag set_theory [22 articles] Export

Recent papers classified by the tag set_theory.

	A System of Axiomatic Set Theory--Part VII [My Copy] The Journal of Symbolic Logic, Vol. 19, No. 2. (1954), pp. 81-96. by Paul Bernays posted to set_theory bernays axiomatic_set_theory axiom by ajholanda on 2009-11-13 13:59:27 as
	A System of Axiomatic Set Theory--Part I [My Copy] The Journal of Symbolic Logic, Vol. 2, No. 1. (1937), pp. 65-77. by Paul Bernays posted to system set_theory logic axiom by ajholanda on 2009-11-13 13:29:45 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 set_theory mathematical_development logic cantor by ajholanda on 2009-11-10 14:00:26 as
	An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Gödel Theory [My Copy] The Journal of Symbolic Logic, Vol. 66, No. 3. (2001), pp. 1321-1341. by P. V. Andreev, E. I. Gordon posted to von_neumann-bernays-godel-set_theory set_theory logic by ajholanda on 2009-11-09 11:06:25 as
	Naive Set Theory [My Copy] (16 January 1960) by Paul R. Halmos posted to textbooks set_theory introduction by robotact on 2009-09-12 01:47:20 as
	THE ITERATIVE CONCEPTION OF SET [My Copy] The Review of Symbolic Logic, Vol. 1, No. 01. (2008), pp. 97-110. by R. Thomas Forste posted to set_theory philosophy_of_math by MichaelDe on 2009-09-11 22:06:12 as
	Consequences of Martin's Axiom [My Copy] (06 November 2008) by D. H. Fremlin posted to set_theory continuum_hypothesis by NitinCR on 2009-08-27 22:54:12 as
	Why Sets? [My Copy] Pillars of Computer Science (2008), pp. 179-198. by Andreas Blass, Yuri Gurevich posted to computer_science mathematics set_theory by robotact on 2008-11-11 10:32:06 as
	A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation [My Copy] Arch. Math. Logic, Vol. 39, No. 8. (2000), pp. 581-598. by Arief Daynes posted to _copy paraconsistent_logic set_theory by adrian_pigors on 2008-02-22 12:47:03 as
	A note on naive set theory in $ LP$ [My Copy] Notre Dame J. Formal Logic, Vol. 33, No. 3. (1992), pp. 422-432. by Greg Restall posted to _copy paraconsistent_logic set_theory by adrian_pigors on 2008-02-05 15:29:58 as
	The infinite [My Copy] Jbuch. Kurt-Gödel-Ges. (1990), pp. 36-44 (1991). by Thomas Jech posted to _copy infinity set_theory by adrian_pigors on 2008-02-05 15:24:52 as
	Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem [My Copy] Arch. Math. Logic, Vol. 44, No. 4. (2005), pp. 459-472. by R. E. Hodel posted to ac _copy prime_ideal set_theory by adrian_pigors on 2008-02-05 14:48:59 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:57:56 as along with 8 people JoseBrox pirapira jrw qwermish ansobol dmitri83 jedal teesid
	Foundations for abstract forcing [My Copy] (12 Dec 2007) by Peter M. Johnson posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:57:35 as along with 1 person dmitri83
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to model_theory popular set_theory by archernikov to the group Model theory on 2007-12-21 20:56:50 as along with 3 people JoseBrox proportional dmitri83
	Sets in Types, Types in Sets [My Copy] by Benjamin Werner posted to coq foundations set_theory type_theory by maggesi on 2007-11-05 16:42:56 as along with 2 people and 2 groups xiemaisi pedagand AS-IIS_ReadingGroup Lambda the Ultimate
	Foundations and applications: axiomatization and education [My Copy] Bull. Symbolic Logic, Vol. 9, No. 2. (2003), pp. 213-224. by William F. Lawvere posted to category_theory _copy foundation set_theory by adrian_pigors on 2007-10-09 11:02:58 as
	A set-theoretic view of data-base representation [My Copy] In FIDET '74: Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control (1974), pp. 477-494. by Henry E. Beitz posted to set-theoretic set_theory by rgb on 2007-09-05 15:18:40 as along with 1 group pileWorks
	Parameterized complexity for the skeptic [My Copy] Computational Complexity, 2003. Proceedings. 18th IEEE Annual Conference on In Computational Complexity, 2003. Proceedings. 18th IEEE Annual Conference on (2003), pp. 147-168. by R. Downey posted to computability computational_complexity parameterized_complexity set_theory trees turing_machines by CLLC on 2006-03-27 23:11:32 as along with 1 person aleperd
	On arithmetic in the Cantor- Åukasiewicz fuzzy set theory [My Copy] Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 763-782. by Petr Hã¡jek posted to arithmetic fuzzy_logic induction lukasiewicz_logic paradox set_theory by greg_restall on 2005-09-06 15:17:47 as along with 1 person and 1 group rzach LogicPhilMath
	Does Mathematics Need New Axioms? [My Copy] The Bulletin of Symbolic Logic, Vol. 6, No. 4. (2000), pp. 401-446. by Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel posted to foundations philosophy_of_mathematics set_theory by rzach on 2005-03-16 18:05:04 as along with 2 people and 3 groups A_Olympia Ed Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	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 foundations history_of_logic set_theory by rzach on 2005-03-14 17:38:18 as along with 7 people and 3 groups JoseBrox A_Olympia recordmymind aeagle ds Scis0000002 ansobol Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/tag/set_theory

_copy	5
foundations	5
popular	5
logic	3
model_theory	3
axiom	2
history_of_logic	2
paraconsistent_logic	2
philosophy_of_mathematics	2
set-theoretic	2
ac	1
arithmetic	1
axiomatic_set_theory	1
bernays	1
cantor	1
category_theory	1
computability	1
computational_complexity	1
computer_science	1
continuum_hypothesis	1
coq	1
foundation	1
fuzzy_logic	1
induction	1
infinity	1
introduction	1
lukasiewicz_logic	1
mathematical_development	1
mathematics	1
paradox	1
parameterized_complexity	1
philosophy_of_math	1
prime_ideal	1
system	1
textbooks	1
trees	1
turing_machines	1
type_theory	1
von_neumann-bernays-godel-set_theory	1

Tag set_theory [22 articles] Export

Related Tags