Version spaces and the consistency problem

, &
Artificial Intelligence 156 (2):115-138 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2003.04.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.
On the classification of (effective) φ-spaces.YuL Ershov - 2009 - Annals of Pure and Applied Logic 159 (3):285-291.
A computable version of Banach’s Inverse Mapping Theorem.Vasco Brattka - 2009 - Annals of Pure and Applied Logic 157 (2-3):85-96.
Baire spaces and infinite games.Fred Galvin & Marion Scheepers - 2016 - Archive for Mathematical Logic 55 (1-2):85-104.
Sperner spaces and first‐order logic.Andreas Blass & Victor Pambuccian - 2003 - Mathematical Logic Quarterly 49 (2):111-114.
Turing degrees in Polish spaces and decomposability of Borel functions.Vassilios Gregoriades, Takayuki Kihara & Keng Meng Ng - 2020 - Journal of Mathematical Logic 21 (1):2050021.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Cellular spaces.Wolfgang Merzenich - 1980 - Theoretical Medicine and Bioethics 1 (1):51-65.
The consistency of arithmetic.Storrs McCall - manuscript
Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Some Objections to Putnam’s “Consistency Objection”.John A. Humphrey - 1993 - Journal of Philosophical Research 18:127-141.
A contribution to the end-extension problem and the Π1 conservativeness problem.Zofia Adamowicz - 1993 - Annals of Pure and Applied Logic 61 (1-2):3-48.
Consistency, optimality, and incompleteness.Yijia Chen, Jörg Flum & Moritz Müller - 2013 - Annals of Pure and Applied Logic 164 (12):1224-1235.
The Mathematical Model of Smooth and Striated Spaces and the Connectivity Problem.Martin Calamari - 2017 - Deleuze and Guatarri Studies 11 (3):328-355.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,378,468)

6 months
6 (#508,473)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Generalization as search.Tom M. Mitchell - 1982 - Artificial Intelligence 18 (2):203-226.

Add more references