Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation

First Page		Document Content
Date: 2006-09-13 09:52:38 Logic Mathematics Abstraction Model theory Mathematical logic Proof theory Constructivism Jacques Herbrand Proof mining Term algebra First-order logic Fixed-point theorem		Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Download Document from Source Website File Size: 1,36 MB Share Document on Facebook

	CUBE-TERMS, FINITELY RELATED ALGEBRAS, AND CSP Abstract. We prove that a finite idempotent algebra is inherently finitely related if and only if it has a cube-term, find the maximal idempotent clones that do not contain DocID: 1rsu4 - View Document
	C ∗ -ALGEBRAS AND K-THEORY GRADUATE STUDENT SEMINAR SUMMER TERM 2013 MARKUS LAND This semester we want to study the basic theory of C ∗ -algebras and their topological DocID: 1rca9 - View Document
	´ Etale cohomology Prof. Dr. Uwe Jannsen Summer Term 2015 DocID: 1r9r6 - View Document
	Perverse sheaves and the Weil conjectures Prof. Dr. Uwe Jannsen Summer Term 16 Inhaltsverzeichnis 1 Triangulated categories DocID: 1r6MW - View Document
	Exact Corotational Linear FEM Stiffness Matrix Jernej Barbiˇc Technical Report, University of Southern California, 2012 9 × 12 matrices. In Equation 3, we need the term ∂ R/∂ x` , which is the `-th column of ∂ R/ DocID: 1qYNW - View Document