Results 41 to 50 of about 401 (159)
Estimation of the number of principal components in high‐dimensional multivariate extremes
Scandinavian Journal of Statistics, Volume 52, Issue 4, Page 2270-2313, December 2025.Abstract For multivariate regularly random vectors of dimension d$$ d $$, the dependence structure of the extremes is modeled by the so‐called angular measure. When the dimension d$$ d $$ is high, estimating the angular measure is challenging because of its complexity.
Lucas Butsch, Vicky Fasen‐Hartmann
wiley +1 more source
On groups and initial segments in nonstandard models of Peano Arithmetic
, 2007 This thesis concerns M-finite groups and a notion of discrete measure in models of Peano Arithmetic. First we look at a measure construction for arbitrary non-M-finite sets via suprema and infima of appropriate M-finite sets.
Allsup, John David
core
The minimal e-degree problem in fragments of Peano arithmetic [PDF]
, 2005 We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model ...
Cooper S. +3 more
core
Logical foundations of physics. Resolution of classical and quantum paradoxes in the finitistic paraconsistent logic NAFL [PDF]
, 2022 Non-Aristotelian finitary logic (NAFL) is a finitistic paraconsistent logic that redefines finitism. It is argued that the existence of nonstandard models of arithmetic is an artifact of infinitary classical semantics, which must be rejected by the ...
Srinivasan, Radhakrishnan
core
On automorphisms of models of Peano arithmetic
, 2004 When studying the automorphism group Aut(M) of a model M, one is interested to what extent M is recoverable from Aut(M). We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if a maximal open subgroup ...
Nurkhaidarov, Ermek S
core
Axiomatics for the externa lnumbers of nonstandardanalysis [PDF]
, 2017 Neutrices are additive subgroups of a nonstandard model of the real numbers. An external number is the algebraic sum of a nonstandard real number and a neutrix.
Imme Van den Berg +3 more
core +1 more source
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets
, 2007 It has been known for more than thirty years that the degree of a nonstandard model of true arithmetic is a subuniform upper bound for the arithmetic sets (suub). Here a notion of generic enumeration is presented with the property that the degree of such
Robert I. Soare +2 more
core
The minimal e-degree problem in fragments of Peano arithmetic
, 2020 We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model ...
Cooper S. +3 more
core
Model constructions for bounded arithmetic
, 2015 Title: Model constructions for bounded arithmetic Author: Michal Garlík Abstract: We study constructions of models of bounded arithmetic theories.
Garlík, Michal
core
CONSTRUCTING κ-LIKE MODELS OF ARITHMETIC
, 2008 A model (M, ,…)isκ-like if M has cardinality κ but, for all a M, the cardinality of x M: x a is strictly less than κ. In this paper we shall give constructions of κ-like models of arithmetic satisfying an arbitrarily large finite part of PA but not PA ...
Richard Kaye
core