Results 1 to 10 of about 45 (44)
A Model–Theoretic Approach to Proof Theory [PDF]
Trends in Logic, 2019 This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the
Henryk Kotlarski
exaly +2 more sources
series and orthogonality in number theory (Analytic and arithmetic aspects of automorphic representations) [PDF]
, 2023 We consider the importance of orthogonality in number theory, and particularly in the theory of series, through two distinct contexts: Dirichlet series and series attached to Maass cusp forms.
Stade, Eric
core
series and orthogonality in number theory (Analytic and arithmetic aspects of automorphic representations) [PDF]
We consider the importance of orthogonality in number theory, and particularly in the theory of series, through two distinct contexts: Dirichlet series and series attached to Maass cusp forms.
Stade, Eric
core
Writing and overwriting short-term memory. [PDF]
Psychon Bull Rev, 2001 Killeen PR.
europepmc +1 more source
Review of lattice results concerning low-energy particle physics: Flavour Lattice Averaging Group (FLAG). [PDF]
Eur Phys J C Part Fields, 2017 Aoki S +31 more
europepmc +1 more source
Some of the next articles are maybe not open access.
A sheaf-theoretic foundation for nonstandard analysis
Annals of Pure and Applied Logic, 1997Erik Palmgren
exaly
Faster arithmetic for number-theoretic transforms
Journal of Symbolic Computation, 2014David Harvey
exaly
Arithmetic for ternary number-theoretic transforms
IEEE Transactions on Circuits and Systems Part 2: Express Briefs, 1993A Antoniou
exaly
A functional interpretation for nonstandard arithmetic
Annals of Pure and Applied Logic, 2012Benno Van Den Berg
exaly