All sites of Mathematics

Vickers, Steven Vickers, Steven
Vickers, Steven- University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages. ...
Moss, Lawrence Moss, Lawrence
Moss, Lawrence- Indiana University - Applied logic. ...
Herwig, Bernhard Herwig, Bernhard
Herwig, Bernhard- University of Freiburg - Model theory. ...
Miller, Dale Miller, Dale
Miller, Dale- INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages. ...
Zilber, Boris Zilber, Boris
Zilber, Boris- University of Oxford - Model theory. ...
Rubin, Jean E. Rubin, Jean E.
Rubin, Jean E.- Purdue University - Set theory, axiom of choice. ...
Ebbinghaus, Heinz-Dieter Ebbinghaus, Heinz-Dieter
Ebbinghaus, Heinz-Dieter- University of Freiburg - Finite model theory. ...
Robinson, Edmund Robinson, Edmund
Robinson, Edmund- Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories. ...
Wansing, Heinrich Wansing, Heinrich
Wansing, Heinrich- Ruhr University Bochum - Philosophical logic, modal logic, non-classical logic and epistemology ...
Marcos, João Marcos, João
Marcos, João- Rio Grande do Norte Federal University, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics. ...
Prest, Mike Prest, Mike
Prest, Mike- University of Manchester - Algebra and model theory. ...
Zach, Richard Zach, Richard
Zach, Richard- University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. ...
G. Japaridze's Papers G. Japaridze's Papers
G. Japaridze's Papers- Full list of publications by this author, with about 30 items in the area of proof theory. Many of the papers are downloadable. ...
Mathematical Reasoning Group Mathematical Reasoning Group
Mathematical Reasoning Group- Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports. ...
Epsilon Calculus Epsilon Calculus
Epsilon Calculus- Discussion of David Hilbert's development of this type of logical formalism with emphasis on proof-theoretic methods. ...
Mathematica Japonica Mathematica Japonica
Mathematica Japonica- Contents from vol.39 (1994). ...
Deep Inference Deep Inference
Deep Inference- The calculus of structures is a new proof theoretical formalism. It exploits a top-down symmetry of derivations made possible by deep inference. ...
Proof Theory Proof Theory
Proof Theory- Open Encyclopedia entry. Hierarchically organized by subtopics. ...
Proof Theory as an Alternative to Model Theory Proof Theory as an Alternative to Model Theory
Proof Theory as an Alternative to Model Theory- Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory. ...
Proof Theory Mailing List Proof Theory Mailing List
Proof Theory Mailing List- Newsgroup created to subscribe and send in announcements of events relating to proof theory. List of participants with their web sites, archive of messages. ...
Development of Proof Theory (Stanford Encyclopedia of Philosophy) Development of Proof Theory (Stanford Encyclopedia of Philosophy)
Development of Proof Theory (Stanford Encyclopedia of Philosophy)- An historic description of changes in proof theory over the years. Topics cover prehistoric, Hilbert's methods, analysis, natural deduction, and sequent ...
Proof Theory on the Eve of Year 2000 Proof Theory on the Eve of Year 2000
Proof Theory on the Eve of Year 2000- A survey consisting of 10 questions asked by Solomon Feferman and 29 responses. ...
Math Front: LO Logic Math Front: LO Logic
Math Front: LO Logic- Front end for the logic section of the mathematics e-print arXiv. ...
(Israel) Ben Gurion University of the Negev (Israel) Ben Gurion University of the Negev
(Israel) Ben Gurion University of the Negev- Mathematical and Computational Logic Research Group. ...
(Israel) Haifa (Israel) Haifa
(Israel) Haifa- Logic Seminar. ...
(Australia) Canberra (Australia) Canberra
(Australia) Canberra- Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems. ...
Shelah's Archive Shelah's Archive
Shelah's Archive- Listing of all articles by Saharon Shelah, and links to many of them. ...
Infinite Ink: The Continuum Hypothesis, by Nancy McGough Infinite Ink: The Continuum Hypothesis, by Nancy McGough
Infinite Ink: The Continuum Hypothesis, by Nancy McGough- History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis. ...
The Beginnings of Set Theory The Beginnings of Set Theory
The Beginnings of Set Theory- MacTutor History of Mathematics topic. ...
A Crash Course in the Mathematics of Infinite Sets A Crash Course in the Mathematics of Infinite Sets
A Crash Course in the Mathematics of Infinite Sets- A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. ...
MUltlog MUltlog
MUltlog- Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. ...
New Foundations New Foundations
New Foundations- Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently ...
Bounded Set Theory Bounded Set Theory
Bounded Set Theory- A weak version of ordinary set theory using bounded quantification. Papers and software. ...
Programming with Sets Programming with Sets
Programming with Sets- Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. ...
Set Theoretic Analysis. Set Theoretic Analysis.
Set Theoretic Analysis.- On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. ...
Set Theorists Set Theorists
Set Theorists- A list of email addresses and affiliations. ...
Set Theory for the Working Mathematician Set Theory for the Working Mathematician
Set Theory for the Working Mathematician- Krzysztof Ciesielski, CUP (1997). Contents and preface. ...
Cantor's Theorem Cantor's Theorem
Cantor's Theorem- Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered. ...
Set Theory Set Theory
Set Theory- Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. ...
Axiom of Choice and Continuum Hypothesis Axiom of Choice and Continuum Hypothesis
Axiom of Choice and Continuum Hypothesis- Part of the Frequently Asked Questions in Mathematics. ...
The Future of Set Theory by S. Shelah The Future of Set Theory by S. Shelah
The Future of Set Theory by S. Shelah- The text of a talk given around the millennium. ...
Extending Set Theory Extending Set Theory
Extending Set Theory- Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles. ...
A New System of Axioms Instead of ZF A New System of Axioms Instead of ZF
A New System of Axioms Instead of ZF- The page claims that "the axioms shown below have the contents that should overturn the set theory of today". ...
Consequences of the Axiom of Choice Project Consequences of the Axiom of Choice Project
Consequences of the Axiom of Choice Project- Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated. ...
ACL2 Version 2.7 ACL2 Version 2.7
ACL2 Version 2.7- A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links. ...
LWB LWB
LWB- Logics Workbench. ...
MUltseq MUltseq
MUltseq- A generic sequent prover for propositional finitely-valued logics. ...
Isabelle Isabelle
Isabelle- A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download. ...
ProofPower ProofPower
ProofPower- A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation. ...
LOOM LOOM
LOOM- A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute ...

Latest sites from Mathematics