↓ Skip to main content
What is this page? Embed badge

Axiomatic Thinking II

Overview of attention for book
Cover of 'Axiomatic Thinking II'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Framework for Metamathematics
  3. Altmetric Badge
    Chapter 2 Simplified Cut Elimination for Kripke-Platek Set Theory
  4. Altmetric Badge
    Chapter 3 On the Performance of Axiom Systems
  5. Altmetric Badge
    Chapter 4 Well-Ordering Principles in Proof Theory and Reverse Mathematics
  6. Altmetric Badge
    Chapter 5 Reflections on the Axiomatic Approach to Continuity
  7. Altmetric Badge
    Chapter 6 Abstract Generality, Simplicity, Forgetting, and Discovery
  8. Altmetric Badge
    Chapter 7 Varieties of Infiniteness in the Existence of Infinitely Many Primes
  9. Altmetric Badge
    Chapter 8 Axiomatics as a Functional Strategy for Complex Proofs: The Case of Riemann Hypothesis
  10. Altmetric Badge
    Chapter 9 What is the Church-Turing Thesis?
  11. Altmetric Badge
    Chapter 10 Axiomatic Thinking in Physics—Essence or Useless Ornament?
  12. Altmetric Badge
    Chapter 11 Axiomatic Thinking—Applied to Religion
Attention for Chapter 3: On the Performance of Axiom Systems
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On the Performance of Axiom Systems
Chapter number 3
Book title
Axiomatic Thinking II
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-030-77799-9_3
Book ISBNs
978-3-03-077798-2, 978-3-03-077799-9
Authors

Pohlers, Wolfram

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.