<--- Back to Details
First PageDocument Content
Proof theory / Ordinal numbers / Constructible universe / Peano axioms / Ordinal analysis / Function / Bounded quantifier / New Foundations / Surreal number / Mathematical logic / Mathematics / Logic
Date: 2009-03-07 14:19:19
Proof theory
Ordinal numbers
Constructible universe
Peano axioms
Ordinal analysis
Function
Bounded quantifier
New Foundations
Surreal number
Mathematical logic
Mathematics
Logic

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Download Document from Source Website

File Size: 313,78 KB

Share Document on Facebook

Similar Documents

Probability distributions / Mathematical analysis / Statistics / Probability / Constructible universe / Ordinal number / Power laws / Beta distribution / Stable distribution

Exercises 3: unconstrained maximization Let’s investigate Fact 1 from Daniel Wilhelm’s lecture notes. Fact 1: 1. if f has a local max (min) at point x∗ , then Df (x∗ ) = 0 and D2 f (x∗ ) is negative (positive)

DocID: 1rnx3 - View Document

Mathematical analysis / Mathematics / Functional analysis / Ordinal number / Wellfoundedness / Constructible universe / Distribution / Probability distributions / Differential forms on a Riemann surface / Isotope lists /  73-96

arXiv:1201.0473v1 [math-ph] 2 JanA UNIVERSALITY THEOREM FOR RATIOS OF RANDOM CHARACTERISTIC POLYNOMIALS JONATHAN BREUER AND EUGENE STRAHOV Abstract. We consider asymptotics of ratios of random characteristic

DocID: 1rgcH - View Document

Machine learning / Statistics / Learning / Regression analysis / Structured prediction / Support vector machines / Statistical classification / Ordinal regression / Loss function / Mathematical optimization / Convex optimization / Loss functions for classification

Large-margin Structured Learning for Link Ranking Stephen H. Bach Bert Huang Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742

DocID: 1qSCZ - View Document

Mathematics / Computer arithmetic / Mathematical logic / Theory of computation / Numerical analysis / Arithmetic / Interval arithmetic / Interval / Constructible universe / Ordinal number / NC / Machine epsilon

BIT 39(3), pp. 539–560, 1999 FAST AND PARALLEL INTERVAL ARITHMETIC SIEGFRIED M. RUMP Inst. of Computer Science III, Technical University Hamburg-Harburg, Eißendorfer Str. 38, 21071 Hamburg, Germany.

DocID: 1qF1b - View Document

Probability theory / Mathematical analysis / Statistical theory / Analysis / Imprecise probability / Conditional probability / Limit of a function / Ordinal number / Conditioning / Connection

Full conglomerability, continuity and marginal extension Enrique Miranda1 and Marco Zaffalon2 Abstract We investigate fully conglomerable coherent lower previsions in the sense of Walley, and some particular cases of int

DocID: 1qzp6 - View Document