Results 271 to 280 of about 13,404,605 (326)

Hyperuniformity and non-hyperuniformity of zeros of Gaussian Weyl-Heisenberg Functions. [PDF]

Probab Theory Relat Fields
Feldheim N, Haimi A, Koliander G, Romero JL.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Springer Monographs in Mathematics, 2008
U. Kohlenbach
exaly   +4 more sources

Proof Theory

Lecture Notes in Mathematics, 1989
Wolfram Pohlers
exaly   +3 more sources

Advances in Proof Theory

Philology, 2016
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
exaly   +2 more sources

Proof Theory: Sequent Calculi and Related Formalisms

, 2014
K. Bimbó
semanticscholar   +2 more sources

A theory of classes: proofs and models

Mathematical Structures in Computer Science, 1997
We investigate the proof structure and models of theories of classes, where classes are ‘collections’ of entities. The theories are weaker than set theories and arise from a study of type classes in programming languages, as well as from comprehension schemata in categories. We introduce two languages of proofs: one a simple type theory and the
Hilken, Barney P, Rydeheard, David E
openaire   +3 more sources

Theories and Ordinals in Proof Theory

Synthese, 2006
The author gives a very good survey on the aims and techniques of ordinal analysis. It includes not only the classical topics of subsystems of second-order arithmetic and of set theory, but also newer developments in relation to model-theoretic characterizations (partial models and patterns of resemblance; Sec.~4), characterizations via \(E\)-recursion
openaire   +3 more sources

Basic Proof Theory

2000
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category ...
Troelstra, A.S., Schwichtenberg, H.
openaire   +2 more sources

Proof Theory of Constructive Systems: Inductive Types and Univalence

, 2016
In Feferman’s work, explicit mathematics and theories of generalized inductive definitions play a central role. One objective of this article is to describe the connections with Martin–Lof type theory and constructive Zermelo–Fraenkel set theory.
M. Rathjen
semanticscholar   +1 more source