Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals

Documenti analoghi

• Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
  di: Cantone, Domenico, et al.
  Pubblicazione: (2024)
• Six equations in search of a finite-fold-ness proof
  di: Cantone, Domenico, et al.
  Pubblicazione: (2023)
• Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
  di: Buriola, Gabriele, et al.
  Pubblicazione: (2025)
• Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
  di: Buriola, Gabriele, et al.
  Pubblicazione: (2025)
• A note on the theory of well orders
  di: Jeřábek, Emil
  Pubblicazione: (2024)