Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic

By S. Awodey, Erich H. Reck. 2002

109 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Experimental and Cognitive Psychology

View Paper: https://www.semanticscholar.org/paper/fe09b35ba5141d6e7f7694c97fdfe17fde867a5f

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Experimental and Cognitive Psychology

1. Richard Zach

Citations in the corpus

• The development of mathematical logic from Russell to Tarski, 1900-1935 (2009, background): “It is however true that in the presence of all the other axioms, the system of geometry presented by Hilbert is categorical (see Awodey and Reck 2002).”