41. MAA-Amazon Math Book List: Set Theory Notes on logic and set theory Paperback / Published 1988 (Special Order). RecursiveAspects of Descriptive Set Theory (Oxford Logic Guides, No. http://www.maa.org/amazon/logic/set_theory2.html

Set Theory - page 2 Page Each page has approximately 100 titles. Notes on Logic and Set Theory Paperback / Published 1988 (Special Order) Notes on Logic and Set Theory P.T. Johnstone / Paperback / Published 1988 Our Price: $17.95 (Back Ordered) Notes on Set Theory Hardcover / Published 1994 (Special Order) Read more about this title... Numbers, Sets and Axioms Paperback / Published 1983 (Special Order) Numbers, Sets and Axioms : The Apparatus of Mathematicians A.G. Hamilton / Paperback / Published 1983 Our Price: $33.95 (Special Order) On Sets Not Belonging to Algebras of Subsets (Memoirs of the American Mathematical Society, No. 480) L.S. Grinblat / Paperback / Published 1993 Our Price: $20.80 ~ You Save: $5.20 (20%) (Special Order) Ordered Sets Rival / Hardcover / Published 1982 Our Price: $144.55 ~ You Save: $61.95 (30%) (Special Order) Ordered Sets and Lattices (American Mathematical Society Translations. Series 2, Vol 141) Kh. Drashkovicheva, T.S. Fofanova / Hardcover / Published 1989 Our Price: $82.00

42. Logic At Stanford Mathematics; 296 logic and set theory; 391 Seminar in Logic and Foundationsof Mathematics. Department of Philosophy 57 Introduction http://www-logic.stanford.edu/main.html

43. Mathematical Logic Around The World A service provided by the Mathematical logic Group in BonnCategory Science Math logic and Foundations Directories......in mathematical logic (such as set theory). Abstract Server for Mathematical logic;Mathematical logic set theory Eprints @ Los Alamos XXX Mathematics Archive; http://www.uni-bonn.de/logic/world.html

Mathematical Logic around the world A service provided by the Mathematical Logic Group , University of Bonn, and the Institute for Logic , University of Vienna According to Google , this ist the most authoritative source for mathematical logic on the web. Please help building the logic network. Send us links and add a link on your page: <A HREF="http://www.uni-bonn.de/logic/world.html">Mathematical Logic around the world</A> Logic Preprints and Journals Logic Groups Germany USA UK Elsewhere ... Other Links (including other lists of (not only) mathematical logic) Logic Preprints and Journals Abstract Server for Mathematical Logic @ Los Alamos XXX Mathematics Archive AMS: MathSciNet Set Theory Preprint Sites (by author) CLE e-Prints (Centre for Logic, Epistemology and the History of Science at UNICAMP) Algebra and Logic Algebra Universalis Annals of Mathematics and Artificial Intelligence ... Postal addresses for logic journals Germany Aachen: Berlin: Bonn: Dresden: Freiburg: Heidelberg: Karlsruhe: Kiel: Leipzig: USA California: Stanford UC Berkeley UCLA Delaware: University of Delaware Florida: University of Florida Illinois: UI at Urbana-Champaign Indiana: Indiana University University of Notre Dame Michigan: University of Michigan Minnesota: University of Minnesota New Jersey: Rutgers University New York: City University of New York and logic in the New York area Ohio: Ohio State University Pennsylvania: Carnegie Mellon University Pennsylvania State University University of Pennsylvania Wisconsin: University of Wisconsin UK Leeds:

44. Earliest Uses Of Symbols Of Set Theory And Logic Earliest Uses of Symbols of set theory and logic. Last updated Oct. 18,2002 Intersection and union. Giuseppe Peano (18581932) introduced http://members.aol.com/jeff570/set.html

Earliest Uses of Symbols of Set Theory and Logic Last updated: Oct. 18, 2002 Intersection and union. Giuseppe Peano (1858-1932) introduced and in 1888 in Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann (Cajori vol. 2, page 298). According to Schwartzman (p. 118) the intersection symbol above dates back to Leibniz "who also used it to indicate regular multiplication." Cajori says Leibniz used the symbol for multiplication, but seems not to confirm that he used it for intersection. Existence. Peano used in volume II, number 1, of his which was published in 1897 (Cajori vol. 2, page 300). Membership. Peano used in the introduction to volume I of his which was published in Turin in 1895, although the introduction itself is dated 1894 (Cajori vol. 2, page 300). The website at the University of St. Andrews states that Peano introduced the symbol in 1889 and that it comes from the first letter if the Greek word meaning "is." Peano's symbol for membership was an ordinary epsilon ; the stylized epsilon now used was adopted by Bertrand Russell in Principles of Mathematics Such that.

45. Modern Logic Home Page International Journal for the History of Mathematical logic, set theory, and Foundations of Mathematics. http://www.ed.ac.uk/~pmilne/ml/home.html

M ODERN L OGIC A Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics ISSN 1047-5982 Mathematical logic...is the modern form of logic developed in the last hundred years. - Rudolf Carnap (1954) This site covers Volumes 1 to 8 of Modern Logic Starting with Volume 9, the journal is to continue as The Review of Modern Logic Contents Description and goals Editorial Board of Modern Logic Subscription and publication information ... Contents issue by issue with abstracts Modern Logic is currently abstracted in Bibliograficheskikh Ukazatelyakh Current Mathematical Publications Historia Mathematica Mathematical Reviews Referativnyi Zhurnal - Matematika Referativnyi Zhurnal - Filosofiya i Sotsiologiya Zentralblatt fuer Mathematik and the MathSci online database, and has exchange agreements with From the Logical Point of View Logique et Analyse LLULL: Revista de la Sociedad Espanola de Historia des las Ciencas y de las Tecnicas Manuscrito Mathesis Revue d'Histoire des Mathematiques Russell Studia Logica and Synthesis Philosophica/Filozofska Istrazivanja Modern Logic home page Description and goals Editorial Board of ... Contents issue by issue with abstracts

46. Logic, Set Theory Abstracts logic, combinatorial set theory, misc. Author Thomas JechTitle Singular cardinals and the pcf theory Bull. Symb. logic http://www.math.cas.cz/~jech/preprints/abs-log.html

Abstracts: logic, combinatorial set theory, misc. Author : Thomas Jech Title: Singular cardinals and the pcf theory Bull. Symb. Logic 1 (1995) Abstract: An expository article on the singular cardinals problem. Author : Thomas Jech Title: On Goedel's Second Incompleteness theorem Proceedings AMS 121 (1994) Abstract: Goedel's Second Incompleteness theorem states that no sufficiently strong consistent mathematical theory can prove its own consistency. In this note we give a short proof of the theorem. Authors : Thomas Jech and Saharon Shelah Title: A partition theorem for pairs of finite sets Journal AMS 4 (1991) Abstract: Every partition of the set of all pairs of finite subsets of aleph_1 into finitely many pieces has a cofinal homogeneous set. Furthermore, it is consistent that every directed partially ordered set satisfies the partition property if and only if it has finite character. Author : Thomas Jech Title: The infinite Jahrbuch 1990 der Kurt-Goedel-Gesellschaft Abstract: Based on a lecture presented to the Goedel Society in Vienna. Authors : Thomas Jech and Saharon Shelah Title: A note on canonical functions Israel J. Math. 68 (1989)

47. Harvard University Press/Set Theory And Its Logic, Revised Edition set theory and Its logic, Revised Edition by WV Quine, published by HarvardUniversity Press. set theory and Its logic, Revised Edition WV Quine. http://www.hup.harvard.edu/catalog/QUISEX.html

W. V. Quine was Edgar Pierce Professor of Philosophy, Harvard University . He wrote twenty-one books, thirteen of them published by Harvard University Press. Set Theory and Its Logic, Revised Edition W. V. Quine OTHER HARVARD BOOKS BY W. V. QUINE Elementary Logic, Revised Edition From a Logical Point of View: Nine Logico-Philosophical Essays, Second Revised Edition From Stimulus to Science Mathematical Logic, Revised Edition ... Theories and Things Belknap Press 380 pages Paper edition: ISBN 0-674-80207-1 Philosophy: General / Religion: General

48. Harvard University Press/Set Theory And Its Logic, Revised Edition/Reviews Reviews of set theory and Its logic, Revised Edition by WV Quine, published byHarvard University Press. set theory and Its logic, Revised Edition WV Quine. http://www.hup.harvard.edu/reviews/QUISEX_R.html

W. V. Quine was Edgar Pierce Professor of Philosophy, Harvard University . He wrote twenty-one books, thirteen of them published by Harvard University Press. Set Theory and Its Logic, Revised Edition W. V. Quine "This revision of an important and lucid account of the various systems of axiomatic set theory preserves the basic format and essential ingredients of its highly regarded original...There have, however, been a number of important changes, generally in the interest of greater elegance and clarity...a generally improved version of an originally masterful and brilliant work." Review of Metaphysics "This is the masterpiece one would have expected it to be. For the expert it is a fresh and elegant treatise, brimming deliciously with new ideas and insights. For the beginner it is a brilliant gem of exposition, rendering a host of abstruse arguments crystal clear. For all it is a smooth and exciting journey to a vivid and comprehensive view of the alternative foundations of classical mathematics." Joseph S. Ullian

49. Set Theory And Logic - Numericana Final Answers © 20002002 Gérard P. Michon, Ph.D. set theory and logic.The Barber's Dilemma. set theory logic. (Ashlee of Braithwaite, LA. http://home.att.net/~numericana/answer/sets.htm

home index units counting ... physics Final Answers , Ph.D. Set Theory and Logic The Barber's Dilemma . Not a paradox if analyzed properly. What is infinity ? More than a pretty symbol ( There are more real than rational numbers . Cantor's argument. The axioms of set theory : Fundamental axioms and the Axiom of Choice (Ashlee of Braithwaite, LA. twice There is a barber who lives in a small town. The barber shaves all those men and only those men who do not shave themselves. Does the barber shave himself? Stay away from the many "cute" answers that do not really address the question: The barber can't be a woman (otherwise the term "himself" used in the question would be improper). It would also be cheating to consider that the barber is a boy (and therefore not a "man") or any other kind of non-human male creature for that matter... The dilemma remains (it's not a paradadox, as we shall see): If the barber doesn't shave himself then he shaves himself. If he shaves himself, then he doesn't shave himself. The answer to this classic "problem" is simple: There cannot possibly be any such barber!

50. KLUWER Academic Publishers | Problems In Set Theory, Mathematical Logic And The It covers major classical topics in proof theory and the semantics of propositionaland predicate logic as well as set theory and computation theory. http://www.wkap.nl/prod/b/0-306-47712-2

Title Authors Affiliation ISBN ISSN advanced search search tips Books Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Add to cart by Igor Lavrov Institute of Mathematics, Novosibirsk State University, Russia Larisa Maksimova Institute of Mathematics, Novosibirsk State University, Russia edited by Giovanna Corsi Dept. of Philosophy, University of Bologna, Italy Book Series: UNIVERSITY SERIES IN MATHEMATICS Problems in Set Theory, Mathematical Logic and the Theory of Algorithms Kluwer Academic/Plenum Publishers Hardbound, ISBN 0-306-47712-2 March 2003, 302 pp. EUR 128.00 / USD 125.00 / GBP 80.00 Home Help section About Us Contact Us ... Search

51. Logic, Computation And Set Theory Mathematical Statistics. DPMMS Teaching logic, Computation and settheory. logic, Computation and set theory. The Mathematics Faculty http://www.dpmms.cam.ac.uk/site2002/Teaching/II/Logic/

Department of Pure Mathematics and Mathematical Statistics DPMMS Teaching Logic, Computation and Set Theory Logic, Computation and Set Theory The Mathematics Faculty web site provides a schedule and a course summary Example sheets Example sheet 1 Example sheet 2 Example sheet 3 Example sheet 4 Last modified: Wed Nov 20 11:39:22 2002 Information provided by webmaster@dpmms.cam.ac.uk

52. [uebc6] Jr021001: Set Theory And Logic Janet 10 set theory and logic 10.1 set theory .=.6 union (upright U shape) .=.8intersection (inverted U shape) .=@j null set (slashed zero) .=7 complement http://www.freelists.org/archives/uebc6/09-2002/msg00009.html

Date Prev Date Next Thread Prev Thread Next ... Thread Index [uebc6] jr021001: set theory and logic To Subject : [uebc6] jr021001: set theory and logic From Date : Tue, 1 Oct 2002 14:38:38 +1200 http://www.freelists.org . The list archive * is also located there. * The International Council on English Braille (ICEB) web site is * http://www.iceb.org Prev by Date: [uebc6] [ueb6] jr021001: more maths rules Next by Date: [uebc6] jr021001: miscellaneous symbols Prev by thread: [uebc6] [ueb6] jr021001: more maths rules Next by thread: [uebc6] jr021001: miscellaneous symbols Index(es): Date Thread

53. Set Theory And Logic set theory and logic (MATH 2453) UpHome. Teaching the students some new conceptsin logic, set theory and the other subjects introduced in this courses. http://www.math.fsc.uaeu.ac.ae/math/Courses set/Set Theory and Logic.htm

SET THEORY AND LOGIC (MATH 2453) Up Home Prerequisite: Calculus I (MATU1052). Instructor: Dr. Muhammed Syam Textbook: Course Objectives: Introducing the concepts of abstract mathematics and making it familiar to students. Teaching the students how to read and understand abstract subjects. Improving the ability of the students in the abstract thinking. Teaching the student how to obtain new results using only the axioms and the definitions. Preparing the student for the other courses in abstract mathematics. Teaching the students some new concepts in logic, set theory and the other subjects introduced in this courses. Course Outlines: Methods of proofs, more proofs. Mathematical induction and other principle of induction. Sets, operation on sets and indexed families. Relations, Cartesian graphs and direct graphs, equivalence relations. Partitions and identifications, composition of relations and type of orders. Functions as relations, function viewed globally. Images and inverse image of sets, functions and indexed family.

54. Set Theory MacTutor History of Mathematics topic.Category Science Math logic and Foundations set theory...... This work attempts to reduce the foundations of mathematics to logic and was Zermeloin 1908 was the first to attempt an axiomatisation of set theory. http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.htm

A history of set theory Algebra index History Topics Index The history of set theory is rather different from the history of most other areas of mathematics. For most areas a long process can usually be traced in which ideas evolve until an ultimate flash of inspiration, often by a number of mathematicians almost simultaneously, produces a discovery of major importance. Set theory however is rather different. It is the creation of one person, Georg Cantor . Before we take up the main story of Cantor 's development of the theory, we first examine some early contributions. The idea of infinity had been the subject of deep thought from the time of the Greeks. Zeno of Elea , in around 450 BC, with his problems on the infinite, made an early major contribution. By the Middle Ages discussion of the infinite had led to comparison of infinite sets. For example Albert of Saxony, in Questiones subtilissime in libros de celo et mundi, proves that a beam of infinite length has the same volume as 3-space. He proves this by sawing the beam into imaginary pieces which he then assembles into successive concentric shells which fill space. Bolzano was a philosopher and mathematician of great depth of thought. In 1847 he considered sets with the following definition

55. Math 330: Set Theory And Logic University of North Dakota Math 330 set theory and logic Sample Syllabus.Prerequisites. Math 166 or consent of instructor. Course Objectives. http://www.und.edu/dept/math/syllabi/syl/330.html

University of North Dakota Math 330: Set Theory and Logic Sample Syllabus Prerequisites Math 166 or consent of instructor. Course Objectives Introductory mathematics courses such as Calculus I, Calculus II, and their prerequisites usually emphasize problem solving and computaton as opposed to mathematical proofs. More advanced courses at the senior and graduate level, however, often place a very heavy emphasis on mathematical proofs, mathematical theory, and more abstract mathematical thinking. The primary purpose of Math 330 is to provide a transition between the two types of courses. The main objectives of Math 330 are to provide the student with an introduction to the process of writing rigorous mathematical proofs and to prepare students for more advanced courses at the senior or graduate level. Another purpose of Math 330 is to familiarize the student with certain basic terms and concepts that frequently arise in more advanced mathematics courses. Usual Course Content Although course content may vary from instructor to instructor, this course usually covers the following topics: Propositional calculus Predicates and quantified statements Negating quantified statements Sets and set operations Direct and indirect proofs Proofs by contradiction Proofs by induction Proofs by cases Proofs by counterexample Axioms of the real number system Cartesian products and ordered pairs Relations in general Functions Equivalence relations and partitions Problem solving Students Who May Benefit from This Course

56. Logic Page Maintained by Christian Gottschall, Vienna philosophy department.Category Science Math logic and Foundations Directories...... philosophyrelated resources. The logic set theory chapter of theMath Archives at the University of Tennessee, Knoxville; A list http://logik.phl.univie.ac.at/~chris/logic.html

Resources You are visitor number 25616. to this page. German Wenn Sie diesen Satz verstehen, finden Sie auf der deutschen Fassung dieser Seite auch deutsche Ressourcen. Contents Gateway to Logic Resource lists Logicians Texts ... Back to the main page Gateway to Logic My Gateway to Logic displays truth tables, expression trees, alpha graphs, normal forms and so on, proves theorems of propositional logic and contains a proof checker and a proof builder Jars has rated the Gateway Top 25% , and Gamelan considers it "cool". Lynx Resource lists There are several lists of logical web resources. The following are among the best: NEW: Logical links at Encyclopaedia Britannica Online The LogicAL Guide at the Globewide Network Academy is a very comprehensive compilation of Internet ressources regarding logic, its history and related topics. The not at all short resource list at Dr. Martindale's Reference Desk is an extremely comprehensive (probably complete) list of online software (including logic-related programs). Spanish Pagina sobre filosofia by Francisco Conde Philosophy in Cyberspace is another extraordinarily comprehensive ressource list; this one deals with philosophy, but contains a detailed chapter on logic.

57. 1.1. Notation And Set Theory So far, we have reviewed a few basic facts from set theory, and also got an thosedefinitions we derive new results, based on old results, notation, and logic. http://www.shu.edu/projects/reals/logic/notation.html

1.1. Notation and Set Theory IRA Sets are the most basic building blocks in mathematics, and it is in fact not easy to give a precise definition of the mathematical object set . Once sets are introduced, however, one can compare them, define operations similar to addition and multiplication on them, and use them to define new objects such as various kinds of number systems. In fact, most of the topics in modern analysis are ultimately based on sets. Therefore, it is good to have a basic understanding of sets, and we will review a few elementary facts in this section. Most, if not all, of this section should be familiar and its main purpose is to define the basic notation so that there will be no confusion in the remainder of this text. Definition 1.1.1: Sets and Operations on Sets A set is a collection of objects chosen from some universe. The universe is usually understood from the context. Sets are denoted by capital, bold letters or curly brackets. A B A is a subset of B means that every element in A is also contained in B A B A union B is the set of all elements that are either in A or in B or in both.

58. 18.510 -- Set Theory And Logic 18.510 set theory and logic Course information Location 4159. Time TR230-4. Instructor Hartley Rogers office 2-249 email rogers@math.mit.edu. http://www.mit.edu/afs/athena/course/18/18.510/

18.510 Set Theory and Logic Course information: Location: Time: TR 2:30-4 Instructor: Hartley Rogers office 2-249 email: rogers@math.mit.edu Grader: Jessica Young office 2-488 email: jessica@math.mit.edu Handouts: Text: Sections 1-6 Sections 7-9 Problem sets: Problem Set 1 Problem Set 2 Problem Set 4 Problem Set 5 ... Problem Set 6 Tests: Test 1

59. Set Theory And Applications Of Set Theory At UEA set theory is a branch of mathematical logic . Within mathematical logic,there is a strong link between set theory and model theory. http://www.mth.uea.ac.uk/~h020/set.html

Set Theory and Applications of Set Theory at UEA Set theory is a branch of mathematical logic At one time, set theory was regarded as an encapturing universal theory behind mathematics, whose role was to axiomatize the way we think in mathematics. Although we have known for many years that a perfection in this direction is provably impossible, the fundamental results obtained in this search have opened many new branches in set-theory, like independence results and fine structure theory. Having concluded that there is no perfect axiom scheme, it is still true that most of classical mathematics takes place within a particular system known as ZFC. So, much of set theory is devoted to the study of this scheme, using both methods for proving ZFC theorems, like infinite combinatorics and pcf theory, and the ones to show that no ZFC result is possible, that is the independence proofs. Many questions which can be formulated in simple combinatorial terms, like if cardinal arithmetic is trivial, need so called large cardinals to become interesting. That is why modern set theory is deeply hinged on the study of large cardinals, in addition to the study of ZFC. Additional important areas of set theory are determinacy axioms, inner model theory and descriptive set theory, to mention but a few. By its nature, set theory is deeply connected with other branches of mathematics. Discovering new set-theoretic properties has often been inspired by a question from another field of mathematics, and vice versa, a new theory inside of set theory has often been tested by finding applications of that theory to questions from the outside. Some fields in which set theory has been applied more recently are set-theoretic topology, Boolean algebras, measure theory and Abelian group theory. Within mathematical logic, there is a strong link between set theory and model theory.

60. Earliest Uses Of Symbols Of Set Theory And Logic Earliest Uses of Symbols of set theory and logic. Last updated July 14,1999 Intersection and union. Giuseppe Peano (18581932) introduced http://mail.mcjh.kl.edu.tw/~chenkwn/mathword/set.html

Earliest Uses of Symbols of Set Theory and Logic Last updated: July 14, 1999 Intersection and union. Giuseppe Peano (1858-1932) introduced and in 1888 in Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann (Cajori vol. 2, page 298). According to Schwartzman (p. 118) the intersection symbol above dates back to Leibniz "who also used it to indicate regular multiplication." Cajori says Leibniz used the symbol for multiplication, but seems not to confirm that he used it for intersection. Existence. Peano used in volume II, number 1, of his which was published in 1897 (Cajori vol. 2, page 300). Membership. Peano used in the introduction to volume I of his which was published in Turin in 1895, although the introduction itself is dated 1894 (Cajori vol. 2, page 300). The website at the University of St. Andrews states that Peano introduced the symbol in 1889 and that it comes from the first letter if the Greek word meaning "is." Peano's symbol for membership was an ordinary epsilon ; the stylized epsilon now used was adopted by Bertrand Russell in Principles of Mathematics Such that.

Page 3     41-60 of 79    Back | 1  | 2  | 3  | 4  | Next 20