The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

ON PERFECT MATCHINGS IN UNIFORM HYPERGRAPHS WITH LARGE MINIMUM VERTEX DEGREE ˆ. P HAN, ` HIE YURY PERSON, AND MATHIAS SCHACHT

Source URL: www.math.uni-frankfurt.de

On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy

Source URL: www.mathematik.tu-darmstadt.de

• Complexity classes
• Computability theory
• Effective descriptive set theory
• Arithmetical hierarchy
• Hierarchy
• FO

December 30, 2014 EIDR Year-End Results EIDR will finish the year with a 35% annual increase in the number of member of companies. (Full membership list is available at EIDR.org.) More important is the growing diversity

Source URL: www.eidr.org

• Identifiers
• Information
• Computing
• EIDR
• Identification
• MovieLabs
• Digital object identifier
• NAB Show
• Uniform Resource Name
• Consumer Electronics Show
• TBD.com

On the uniform one-dimensional fragment arXiv:1604.01673v2 [cs.LO] 7 Apr 2016 Antti Kuusisto University of Bremen, Germany

Source URL: www.informatik.uni-bremen.de

PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical logic
• Quantification
• Logic
• Semantics
• Peano axioms
• Symbol
• Constructible universe
• Universal quantification
• Interpretation
• Uniform boundedness principle
• Witness
• Combinatory logic

news & views layer, following the release of the twist. The intriguing transfer of chirality from the macroscale to the nanoscale occurs through the non-uniform compressive stress field that develops as the twist is rele

Source URL: stanford.edu

November 5, 2015 Volume 3; Issue 9 EIDR Activity at DEG Richard Kroon, EIDR’s Technical Director, presented at

Source URL: www.eidr.org

• EIDR
• Identification
• Digimarc
• Identifiers
• Uniform Resource Name
• Computing
• Data
• Information

A Level-set Hit-and-run Sampler for Quasi-Concave Distributions Shane T. Jensen and Dean P. Foster Department of Statistics, The Wharton School, University of Pennsylvania Abstract

Source URL: www-stat.wharton.upenn.edu

• Monte Carlo methods
• Markov chain Monte Carlo
• Non-uniform random numbers
• Probability distributions
• Computational statistics
• Gibbs sampling
• Rejection sampling
• MetropolisHastings algorithm
• Slice sampling
• Bayesian network
• Quasiconvex function
• Normal distribution

On Aggregation Sets and Lower-Convex Sets Tiantian Mao∗† and Ruodu Wang† November 24, 2014 Abstract It has been a challenge to characterize the set of all possible sums of random variables

Source URL: sas.uwaterloo.ca

• Probability theory
• Generalized functions
• Convex analysis
• Convergence
• Convergence of random variables
• Convex function
• Stochastic ordering
• Expected value
• Uniform integrability
• Distribution
• Continuous game
• Fourier transform