Omega

, , , &
In Freek Wiedijk (ed.), The Seventeen Provers of the World. Springer. pp. 127-141 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783540307044

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
Metastability in the Furstenberg-Zimmer Tower.Jeremy Avigad & Henry Towsner - unknown
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
A proof of Hechler's theorem on embedding \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\aleph_1$\end{document}-directed sets cofinally into \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $(\omega^\omega,<^*)$\end{document}. [REVIEW]Maxim R. Burke - 1997 - Archive for Mathematical Logic 36 (6):399-403.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Goal-Driven Reasoning in First-Order Logic.Claes Strannegård - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator för en Dag. Essays dedicated to Dag Westerståhl on his sixtieth birthday. Philosophical Communications.
On a result of Szemerédi.Albin L. Jones - 2008 - Journal of Symbolic Logic 73 (3):953-956.
Fixed point theories and dependent choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
An effective proof that open sets are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
Towards an Atlas of Formal Logics.Michael Kohlhase & Kristina Sojakova - unknown
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown
On the Proof Theory of the Modal mu-Calculus.Thomas Studer - 2008 - Studia Logica 89 (3):343-363.
Using mathematica to understand the computer proof of the Robbins conjecture.Branden Fitelson - manuscript

Analytics

Added to PP
2017-12-04

Downloads
17 (#871,839)

6 months
5 (#646,314)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references