Gödel's Disjunction
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Oxford University Press

9780198759591

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Iterated Definability, Lawless Sequences, and Brouwer’s Continuum

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0004 ◽

2016 ◽

pp. 92-107 ◽

Cited By ~ 2

Author(s):

Joan Rand Moschovakis

Download Full-text

Epistemic Church’s Thesis and Absolute Undecidability

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0011 ◽

2016 ◽

pp. 254-272

Author(s):

Marianna Antonutti Marfori ◽

Leon Horsten

Keyword(s):

Church’S Thesis ◽

Church's Thesis

Download Full-text

Absolute Provability and Safe Knowledge of Axioms

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0010 ◽

2016 ◽

pp. 243-253 ◽

Cited By ~ 5

Author(s):

Timothy Williamson

Download Full-text

Collapsing Knowledge and Epistemic Church’s Thesis

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0006 ◽

2016 ◽

pp. 129-147

Author(s):

Timothy J. Carlson

Keyword(s):

Church’S Thesis ◽

Church's Thesis

Download Full-text

A Semantics for In-Principle Provability

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0005 ◽

2016 ◽

pp. 108-126

Author(s):

T. Achourioti

Download Full-text

Algorithms and the Mathematical Foundations of Computer Science

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0002 ◽

2016 ◽

pp. 19-66 ◽

Cited By ~ 3

Author(s):

Walter Dean

Keyword(s):

Computer Science ◽

Mathematical Foundations

Download Full-text

Idealization, Mechanism, and Knowability

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0008 ◽

2016 ◽

pp. 189-208 ◽

Cited By ~ 3

Author(s):

Stewart Shapiro

Download Full-text

Provability, Mechanism, and the Diagonal Problem

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0009 ◽

2016 ◽

pp. 211-242 ◽

Cited By ~ 1

Author(s):

Graham Leach-Krouse

Download Full-text

Gödel’s Disjunction

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0007 ◽

2016 ◽

pp. 148-188 ◽

Cited By ~ 5

Author(s):

Peter Koellner

Download Full-text

The Second Incompleteness Theorem: Reflections and Ruminations

Gödel's Disjunction ◽

10.1093/acprof:oso/9780198759591.003.0003 ◽

2016 ◽

pp. 67-91 ◽

Cited By ~ 1

Author(s):

Albert Visser

Keyword(s):

Incompleteness Theorem

Download Full-text