Georg Schiemer

Theoretical Computer Science · 2018

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Georg Schiemer trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jeffrey C. King (in Experimental and Cognitive Psychology)
  2. Øystein Linnebo (in Astronomy and Astrophysics)
  3. S. Awodey (in Theoretical Computer Science)

Papers from Georg Schiemer's perspective

Ordered by how strongly the researchers Georg Schiemer trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Nature and Structure of Content
  2. Criteria of identity and structuralist ontology
  3. Structuralism and the notion of dependence
  4. From Kant to Hilbert: a sourcebook in the foundations of mathematics (Mathematical Gazette)
  5. Modal Logic as Metaphysics
  6. Homotopy Theoretic Aspects of Constructive Type Theory
  7. Quasi-categories and Kan complexes
  8. Higher Topos Theory
  9. A Decision Method for Elementary Algebra and Geometry
  10. Homotopy theoretic models of identity types (Mathematical Proceedings of the Cambridge Philosophical Society)

Their papers