1. Mathematics Archives - Topics In Mathematics - Logic & Set Theory Math Archives Homepage, Topics in Mathematics. Logic Set Theory. KEYWORDS Proofsin logic and set theory, ZFC (ZermeloFraenkel with Choice) set theory; http://archives.math.utk.edu/topics/logic.html

Topics in Mathematics The Alonzo Church Archive ADD. KEYWORDS: Manuscripts, Photographs AMS's Materials Organized by Mathematical Subject Classification ADD. KEYWORDS: Electronic Journals, Preprints, Web Sites, Databases AMS's Materials Organized by Mathematical Subject Classification ADD. KEYWORDS: Electronic Journals, Preprints, Web Sites, Databases Around Goedel's theorem ADD. KEYWORDS: Textbook, Platonism, intuition and the nature of mathematics, Axiomatic set theory, First order arithmetic, Hilbert's Tenth problem, Incompleteness theorems, Around Goedel's theorem, About model theory Association for Symbolic Logic ADD. KEYWORDS: Society, Meetings Axiome du Choix ADD. KEYWORDS: Quelques variantes de l'axiome du choix. The Beginnings of Set Theory ADD. KEYWORDS: History, Cantor, Bolzano, Dedekind, Russell, Peano, Zermelo, Bibliography The Bulletin of Symbolic Logic ADD. KEYWORDS: Journal CMS Preprints: Set theory The Continuum Hypothesis ADD. KEYWORDS: Draft of an article A Crash Course in the Mathematics Of Infinite Sets ADD. KEYWORDS:

2. UCLA Math: Logic And Set Theory of research in mathematical logic and set theory, both in the Mathematics Department and in the Department Math 220ABC (Mathematical logic and set theory) is the basic course http://www.math.ucla.edu/grad_programs/faculty/research_areas/logic.html

UCLA has a strong tradition of research in mathematical logic and set theory, both in the Mathematics Department and in the Department of Philosophy. A special aspect of our strength in this field is the close collaboration with Caltech (see the item on the joint Caltech seminar below). Although the interests of our logicians are broad and touch on most of the research areas in the foundation of mathematics, the emphasis in recent years has been in recursion theory (including its applications to mathematical computer science), classical set theory, and descriptive set theory. Regular Faculty G. Hjorth Descriptive set theory D.A. Martin Set theory, descriptive set theory I. Neeman Set theory, large cardinals Y. Moschovakis Descriptive set theory, theory of algorithms Courses Seminars and Colloquia The Caltech-UCLA Logic Seminar (Math 286D) meets every Friday generally at UCLA or at Caltech and provides an opportunity for faculty and advanced students from both schools to study the most exciting new results in the field and to present and discuss their own research. Reflecting the research interests of the participants, during the last four years, the seminar has concentrated on descriptive set theory, large cardinals, and abstract recursion theory. Regular publication of its proceedings started with Cabal Seminar 76-77 Springer Lecture Notes No. 689. During the academic year, every other Friday at 4:00 p.m., an invited speaker (usually from out of town) gives an hour talk for the

3. Www.math.ufl.edu/~logic/ logic and set theoryGroups and conferences. http://www.math.ufl.edu/~logic/

4. Martin Flashman's Logic And Set Theory Web Surfing Page Martin Flashman's logic and set theory Web Surfing Page. Curently under construction. 1/12/98. WEB SURFING TOOLS AND SITESCAVEAT Use at your own risk ) Logic. Set Theory. Turing Machines. Major References, Searches (Math) History Return to Math 446 logic and set theory. Please send suggestions for improvements and comments to Martin Flashman http://www.humboldt.edu/~mef2/logicsites.html

Martin Flashman's Logic and Set Theory Web Surfing Page Curently under construction. 1/12/98 WEB SURFING TOOLS AND SITES-CAVEAT: Use at your own risk :) Latest major changes: Jan. 12, 1998 Logic Set Theory Turing Machines Major References, Searches (Math) ... Return to Math 446 Logic and Set Theory Please send suggestions for improvements and comments to Martin Flashman E-Mail: flashman@axe.humboldt.edu Logic: Mathematical Logic around the world Association for Symbolic Logic LogicAL: An excellent resource for links. Gateway to Logic Some excellent logic software on-line from Germany A. Selby's home page:much interesting stuff on education, logic, algebra, and more. Situation Puzzles Proofs in Mathematics (YES!!) Mathematics as a language ... Mathematical Logic. Around Goedel's Theorem. By K.Podnieks two hyper-textbooks in mathematical logic including an Introduction to Mathematical Logic. ... MATHS 315 Mathematical Logic (University of Aukland) Handouts etc. for logic and set theory that parallel Hamilton's textbook Logic for Mathematicians.

5. Logic And Set Theory Organizations Groups and conferences. http://www.math.ufl.edu/~jal/orgs.html

Organizations Association for Symbolic Logic ( ASL American Philosophical Association ( APA Logic in Computer Science ( LICS Kurt Godel Society ( KGS Institute for Logic, Language and Computation ( ILLC ) at University of Amsterdam Groups Bonn's Mathematical Logic Around the World Ben Gurion University Mathematical and Computational Logic Research Group Logic in Bogata Carnegie Mellon Pure and Applied Logic Indiana University ( Philosophy Computer Science Mathematics Cognitive Science ... Formal Methods Educational Materials Israel - Logic in Israel Hungary - Set Theory and Topology Research Group at Budapest, Hungary Kobe University Foundations of Mathematics and Computer Science University of Minnesota 's Mathematical Logic, Constructive Mathematics, Set Theory, Recursion Theory Penn State Research in Mathematical Logic Logic at TU Wien ... U of Barcelona - Department of Logic, History and Philosophy of Science UC Berkeley Group in Logic and the Methodology of Science UCLA ... University of Paris I (Pantheon-Sorbonne) - UFR de Philosophie Séminaire de Philosophie des Mathématiques et de l'Informatique University of Paris VII (Jussieu) - L'Equipe de Logique Mathématique University of Vienna Institute for Logic Uppsala University Mathematical Logic WWU Münster Mathematik: Institut für mathematische Logik und Grundlagenforschung Conferences and Seminars AMS Special Sessions Topology and its Applications, January 6-9, 2002, San Diego (annual joint meeting), announced by the

6. 03: Mathematical Logic And Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields POINTERS: Texts Software Web links Selected topics here 03: Mathematical logic and foundations Introduction Mathematical Logic is the study of the processes used in mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosophy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to Proof Theory. Students encounter elementary (sentential) logic early in their mathematical training. This includes techniques using truth tables, symbolic logic with only "and", "or", and "not" in the language, and various equivalences among methods of proof (e.g. proof by contradiction is a proof of the contrapositive). This material includes somewhat deeper results such as the existence of disjunctive normal forms for statements. Also fairly straightforward is elementary first-order logic, which adds quantifiers ("for all" and "there exists") to the language. The corresponding normal form is prenex normal form. In second-order logic, the quantifiers are allowed to apply to relations and functions to subsets as well as elements of a set. (For example, the well-ordering axiom of the integers is a second-order statement). So how can we characterize the set of theorems for the theory? The theorems are defined in a purely procedural way, yet they should be related to those statements which are (semantically) "true", that is, statements which are valid in every model of those axioms. With a suitable (and reasonably natural) set of rules of inference, the two notions coincide for any theory in first-order logic: the Soundness Theorem assures that what is provable is true, and the Completeness Theorem assures that what is true is provable. It follows that the set of true first-order statements is effectively enumerable, and decidable: one can deduce in a finite number of steps whether or not such a statement follows from the axioms. So, for example, one could make a countable list of all statements which are true for all groups.

7. An Elementary Introduction To Logic And Set Theory: Table Of Contents An Elementary Introduction to logic and set theory. I. Overview. II. SententialLogic. Propositions. Negation. Disjunction. Conjunction. Conditional. Biconditional. http://www.madison.tec.wi.us/alehnen/weblogic/logcont.htm

An Elementary Introduction to Logic and Set Theory I. Overview II. Sentential Logic Propositions Negation ... Madison Area Technical College 3550 Anderson Street Madison, WI 53704 alehnen@madison.tec.wi.us

8. Alexander S. Kechris Caltech Foundations of mathematics, mathematical logic and set theory, interactions with analysis. http://www.math.caltech.edu/people/kechris.html

ALEXANDER S. KECHRIS Professor of Mathematics Ph.D., Mathematics, UCLA, 1972 Research Interests Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems . Recent projects include the study of foundational and set theoretic questions, and the application of the methodology and results of descriptive set theory, in classical real analysis, harmonic analysis, dynamical systems (especially ergodic theory and topological dynamics), model theory, and infinite combinatorics. Selected Recent Publications (with H. Becker) The Descriptive Set Theory of Polish Group Actions , London Math. Soc. Lecture Note Series, , Cambridge University Press, 1996 (with G. Hjorth) Borel equivalence relations and classifications of countable models , Ann. Pure and Appl. Logic (with S. Solecki and S. Todorcevic) Borel chromatic numbers , Adv. in Math. (with G. Hjorth) Analytic equivalence relations and Ulm-type classifications , J. Symb. Logic (with A. Louveau) The classification of hypersmooth Borel equivalence relations , J. Amer. Math. Soc.

9. Martin Flashman Courses- Math 446 Spring, '98 MATH 446 Mathematical logic and set theory. Spring, 1998 TTh. SCOPE This coursewill cover various topics from mathematical logic and set theory. http://www.humboldt.edu/~mef2/Courses/m446.html

Martin Flashman's Courses - Math 446 Spring, '98 MATH 446 Mathematical Logic and Set Theory Spring, 1998 TTh. 11:00 -12:20 P.M. ROOM: SH 128 Course Description Assignments Summaries of lectures Some www sites related to logic and set theory Back to Martin Flashman's Home Page Last updated: 1/14/98 The following description is still being developed. SPRING, 1998 COURSE INFORMATION (tentative) Martin Flashman OFFICE: Library 48 PHONE:826-4950 Office Hours (Tent.)- MTWTh 9:30-10:40 AND BY APPOINTMENT or chance! E-MAIL: flashman@axe.humboldt.edu WWW: http://www.humboldt.edu/~mef2/ PREREQUISITE: Math 240 (or PERMISSION BASED ON OTHER COURSE WORK). TEXTS: What Is Mathematical Logic? by J.N. Crossley et al. (Oxford,1972) Logic for Mathematicians by A.G. Hamilton (Cambridge,1978+)

10. UF Logic And Set Theory logic and set theory. http://www.math.ufl.edu/~jal/lst.html

Locally maintained resources include home pages of set theorists journals and organizations People Faculty Douglas Cenzer , Mathematics Jean A. Larson , Mathematics Chuang Liu , Philosophy Michael P. Frank , Computer Science William Mitchell , Mathematics Greg Ray , Philosophy Beverly A. Sanders , Computer Science Meera Sitharam , Computer Science Rick Smith , Mathematics Jindrich Zapletal , Mathematics Jay Zeman , Philosophy Graduate Students Emil Badici , philosophy YoungJoon Byun , computer science Diego Rojas , Mathematics Yuan-Chuan Sheu , mathematics Zia Uddin , mathematics James vanHouten , philosophy Recent graduates Hector Andrade , Computer Science, Ph.D. 2001, under Sanders, job: professor at Veracruz Institute of Technology Omar De la Cruz , Mathematics, Ph.D. August, 2000 under Mitchell, first job: postdoc at Purdue University. John Peoples , Philosophy, Ph.D. May 2000, under Ray and Luttwig Amy Vanderbilt , Mathematics, Ph.D. May 2000, under Cenzer, first job: tenure track at Xavier University. Jeff Leaning , Mathematics, August 1999, under Mitchell, first job: cryptosystems patent examiner at the United States Patent Office William Moser, Mathematics, Ph.D. August 1996, under Cenzer

11. 80.07.04: Logic And Set Theory logic and set theory. by Richard Canalor. to top. Conclusion. The languageof logic and set theory is not merely about statements in a textbook. http://www.yale.edu/ynhti/curriculum/units/1980/7/80.07.04.x.html

Yale-New Haven Teachers Institute Home Logic and Set Theory by Richard Canalor Contents of Curriculum Unit 80.07.04: Narrative Pretest Logic Conjunctions and Disjunction’s ... To Guide Entry The following unit is designed to offer teachers and children a chance to explore what may be to them a different area of Finite Mathematics. While in no way does the unit cover the entire fields of Set Theory and Logic, it does, I hope, offer an introduction to the basic concepts, symbols and importance of these two fields of Mathematics. As you will see, Set Theory and Logic are related and have therefore been combined for the content of this unit. The unit is approximately two weeks in length and is intended for grade 6,7, or 8 although both length and grade level may vary. We will begin with a short Pretest. The purpose of the pretest is twofold. On one hand it will give some barometer of success (there will be a posttest) and hopefully the pretest will foster discussion and motivate children to want to hear more. Pretest 1. There were 20 people at a party. Thirteen had coke, 7 had sandwiches, 5 had both. How many did not eat or drink?

12. Guide Entry 80.07.04 logic and set theory, by Richard N. Canalori. logic and set theory will aid studentsin proving the equivalence of statements as well as in solving problems. http://www.yale.edu/ynhti/curriculum/guides/1980/7/80.07.04.x.html

Yale-New Haven Teachers Institute Home Logic and Set Theory, by Richard N. Canalori Guide Entry to 80.07.04: “Logic and Set Theory” is designed to offer teachers and children a chance to explore what may be to them a different area of Finite Mathematics. The unit offers an introduction to the basic concepts and symbols of Logic and Set Theory and provides exercises in these two areas. Problem solving in all areas of mathematics requires the ability to reason and to form valid conclusions. Logic and Set theory will aid students in proving the equivalence of statements as well as in solving problems. Some of the ideas introduced in the unit include types of statements, truth tables, and Venn Diagrams, as well as the language of Logic and Set Theory. (Recommended for 6th through 12th grade Mathematics.) Key Words Word Problems Basic Skills Mathematics To Curriculum Unit Contents of 1980 Volume VII Directory of Volumes Index ... Contact YNHTI

13. Logic And Set Theory logic and set theory Designed for grades 68, this site provides a pretest and post test along with a teaching unit that includes such topics as truth tables, Venn diagrams, law of syllagism, http://rdre1.inktomi.com/click?u=http://www.yale.edu/ynhti/curriculum/units/1980

14. Assignments For Logic And Set Theory Assignments for logic and set theory. 1. In the following compound propositionsthere are two simple propositions connected by a conditional. http://www.madison.tec.wi.us/alehnen/logicasn/prologic.html

Assignments for Logic and Set Theory 1. In the following compound propositions there are two simple propositions connected by a conditional. Indicate for each pair of simple propositions which proposition is the necessary condition for the other and which proposition is the sufficient condition for the other. a) If I pass my algebra class I'm done taking math. b) Unless the engine is overhauled the car won't run. c) Without gas in the tank the car won't run. d) Henry won't go to school unless he feels better. 2. Each proposition below is followed by a list of statements. Indicate which of the statements are syntactically equivalent to the original proposition. a) If the weather doesn't improve the game is cancelled. i) If the weather improves the game won't be cancelled. ii) If the game is cancelled the weather does not improve. iii) If the game is not cancelled the weather does improve. iv) Unless the weather improves the game is cancelled. v) Unless the game is cancelled the weather improves. vi) The weather improves or the game is cancelled.

15. Theory And Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with logic and set theory in the Pure Mathematics Department. http://www.cl.cam.ac.uk/Research/TSG/

Theory and Semantics Group University of Cambridge Computer Laboratory The work of the Theory and Semantics Group is centred around mathematical models of a variety of languages and logics. These models are intended to be used as a basis for specification and verification, and as a tool for clarifying programming concepts. We use techniques such as structural operational semantics, linear logic, domain theory and category theory. Work is in progress on the underlying mathematical structures of these, and on their application to the study of higher order typed programming languages such as Standard ML, to object-based languages, to foundational languages for concurrent, distributed and mobile computation, to hardware description languages, and to security problems. Work is also being undertaken on the analysis of programming languages in the setting of abstract interpretation and on practical optimising compilation for imperative and functional languages. Related research is undertaken within the Automated Reasoning Group . We also have links with the Logic Seminar at DPMMS (Dept of Pure Mathematics and Mathematical Statistics).

16. Math Forum - Ask Dr. Math Archives: College Logic/Set Theory Browse College logic and set theory. Stars indicate particularly interestinganswers or good places to begin browsing. About Fuzzy http://mathforum.org/library/drmath/sets/college_logic.html

Ask Dr. Math College Archive Dr. Math Home Elementary Middle School High School ... Dr. Math FAQ TOPICS This page: logic/set theory Search Dr. Math See also the Dr. Math FAQ false proofs, classic fallacies Internet Library logic and set theory COLLEGE Algorithms Analysis Algebra linear algebra ... Trigonometry Browse College Logic and Set Theory Stars indicate particularly interesting answers or good places to begin browsing. About Fuzzy Logic What is fuzzy logic? What's the difference between fuzzy logic and Boolean logic? Cantor, Peano, Natural Numbers, and Infinity A conversation on transfinite numbers and contradictions the questioner believes exist in Cantor's paper introducing the diagonal method. Lines, Points, and Infinities What is the cardinality of the set of real numbers between and 1? Is this cardinality less than, greater than, or equal to the cardinality of real numbers between and 2? Probability: Let's Make a Deal Should the contestant stick with the original choice of doors or switch and choose the other door? What about the lottery? Relations on a Set, as Mappings

17. Lectures In Logic And Set Theory This twovolume work bridges the gap between introductory expositions of logicor set theory on one hand, and the research literature on the other. http://books.cambridge.org/0521753732.htm

Home > Lectures in Logic and Set Theory Lectures in Logic and Set Theory Volume 1, Mathematical Logic George Tourlakis Published January 2003 340 pages For price and ordering options, inspection copy requests, and reading lists please select: UK North America This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel’s 2nd incompleteness since Hilbert and Bernay’s Grundlagen theorem. Related areas Cambridge Studies in Advanced Mathematics Quick search Advanced search More Printer friendly version Email a colleague Information about the Author Cambridge University Press 2004.

18. Logic And Set Theory Ben Gurion University of the Negev. Mathematics Department. INTRODUCTION TO LOGICAND SET THEORY. Course number 20110201, Winter Semester 2001/2002. Lecturers. http://www.math.bgu.ac.il/~efrat/logic.html

Ben Gurion University of the Negev Mathematics Department INTRODUCTION TO LOGIC AND SET THEORY Course number: 201-10201, Winter Semester 2001/2002 Lecturers Dr. Ivgenya Ackermann Office: Mathematics Building, Room -120 Office hours: Sunday 14-16 Prof. Ido Efrat Office: Mathematics Room 106 Office hours: Sunday 14-16 Tel.: (08) 6461627 e-mail: efrat@math.bgu.ac.il Dr. Ruvim Lipyansky Office: Mathematics Building, Room -104 Office hours: Wednesday 14-16 Tel.: (08) 6477805 e-mail: lipyansk@math.bgu.ac.il Teaching Assistants Amir Gurion Office: Mathematics Building, Room 129 Office hours: TBA Victoria Lubitch Office: Mathematics Building, Room 127 Office hours: TBA Yona Meisel Office: Mathematics Building, Room 129 Office hours: TBA Expected Course Syllabus Part I: Basic notions in set Theory Sets, set operations, relations, equivalence relations and partitions, partial and total orderings, the natural numbers, induction principles, functions Part II: Propositional Calculus Truth tables, truth values, logical equivalence, disjunctive normal forms, complete connector systems Part III: Predicate Calculus Its language, formulas, structures, satisfaction, normal forms, definability, isomorphisms of structures

19. Logic And Set Theory Ben Gurion University of the Negev. Mathematics Department. INTRODUCTION TO LOGICAND SET THEORY. Course number 20110201, Winter Semester 2000/1. Lecturers. http://www.math.bgu.ac.il/~efrat/logic2000.html

Ben Gurion University of the Negev Mathematics Department INTRODUCTION TO LOGIC AND SET THEORY Course number: 201-10201, Winter Semester 2000/1 Lecturers Dr. Ivgenya Ackermann Office: Mathematics Building, Room 131 Office hours: TBA Tel.: (07) 6461653 Prof. Ido Efrat Office: Mathematics Room 106 Office hours: Sunday 15-17 Tel.: (07) 6461627 e-mail: efrat@math.bgu.ac.il Dr. Rubim Lipyanski Office: Mathematics Building, Room -104 Office hours: Monday 14-16 Teaching Assistants Yona Maisel Office: Mathematics Building, Room 129 Office hours: TBA Hen Dubi Office: Mathematics Building, Room 129 Office hours: TBA Victoria Lubitch Office: TBA Office hours: TBA Expected Course Syllabus Part I: Basic notions in set Theory Sets, Set operations, relations, equivalence relations and partitions, functions, induction principles, partial and total orderings Part II: Propositional Calculus Truth tables, truth values, logical equivalence, disjunctive normal forms, complete connector systems Part III: Predicate Calculus Its language, formulas, structures, satisfaction, normal forms, definability, isomorphisms of structures

20. 234293 - Logic And Set Theory, Spring2004 - Announcements Technion Israel Institute of Technology. 234293 - logic and set theory, http://webcourse.cs.technion.ac.il/234293

Technion - Israel Institute of Technology 234293 - Logic and Set Theory Spring 2004 Announcements Tutorials in the week 30/5-3/6 Due to the latest changes in the academic calender, the time and places of our tutorial is changed as follow: Sunday 30.5 10:30-12:30 Keren will give tutorial 10 at Taub 401 (regular tutorial) Sunday 30.5 16:30-18:30 Sivan will give tutorial 9 at Taub 201 Sunday 30.5 16:30-18:30 Gabi will give tutorial 10 at Taub 401 Monday 31.5 16:30-18:30 David will give tutorial 10 at Taub 9 (regular tutorial) Tuesday 1.6 10:30-12:30 Sivan will give tutorial 10 at Taub 3 (regular tutorial) Tuesday 1.6 17:30-19:30 Eitan will give tutorial 10 at Taub 6 Thursday 3.6 12:30-14:30 Gabi will give tutorial 11 at Taub 4 (regular tutorial) Note that Eitan's tutorial on Monday is canceled due to "Hafskat Limudim". Created on 26/5/2004, 17:26:32 HW 7 HW 7 is published. Its submission date is Sunday 30/5 15:00. Last updated on 24/5/2004, 01:20:11 Auxiliary page for tutorial 9 Auxiliary page for tutorial 9 is published in the website under "course material" folder. Please print it and bring it to class with you.

Page 1     1-20 of 100    1  | 2  | 3  | 4  | 5  | Next 20