Cofinal extensions of nonstandard models of arithmetic.
Notre Dame Journal of Formal Logic, 1981 C Smorynski
exaly +5 more sources
On groups and initial segments in nonstandard models of Peano Arithmetic [PDF]
, 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 +7 more sources
Privacy-Preserving Machine Learning With Fully Homomorphic Encryption for Deep Neural Network
IEEE Access, 2022 Fully homomorphic encryption (FHE) is a prospective tool for privacy-preserving machine learning (PPML). Several PPML models have been proposed based on various FHE schemes and approaches.
Joon-Woo Lee +10 more
doaj +1 more source
Fast Reliable Ray-tracing of Procedurally Defined Implicit Surfaces Using Revised Affine Arithmetic [PDF]
, 2009 Fast and reliable rendering of implicit surfaces is an important area in the field of implicit modelling. Direct rendering, namely ray-tracing, is shown to be a suitable technique for obtaining good-quality visualisations of implicit surfaces. We present
Fryazinov, Oleg +2 more
core +9 more sources
TRACE: A Framework for Integrating Transcript Relevance Into ACMG/AMP Variant Interpretation. [PDF]
Hum MutatBackground Accurate clinical variant interpretation depends on the transcript used for annotation and consequence assessment. Transcript‐aware reasoning is also incorporated into existing ClinGen guidance for loss‐of‐function, splicing, functional and computational evidence and into gene‐ and disease‐specific specification.
Goel H.
europepmc +2 more sources
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století
Filosofický časopis, 2022 Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception has been
Haniková, Zuzana
doaj +1 more source
Nonstandard second-order arithmetic and Riemann's mapping theorem [PDF]
, 2013 In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of ...
Horihata, Yoshihiro, Yokoyama, Keita
core +1 more source
A hierarchy of ramified theories below primitive recursive arithmetic [PDF]
, 2010 The arithmetical theory EA(I;O) developed by Çagman, Ostrin and Wainer ([18] and [48]) provides a formal setting for the variable separation of Bellantoni-Cook predicative recursion [6].
Spoors, Elliott John
core +6 more sources
Omega-inconsistency without cuts and nonstandard models
, 2016 This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows
Fjellstad, Andreas
core +3 more sources
Never, Ever Getting Started: On Prospect Theory Without Commitment
Mathematical Finance, EarlyView.ABSTRACT Prospect theory is arguably the most prominent alternative to expected utility theory. We study the investment or gambling behavior of a prospect theory decision maker who is aware of his time‐inconsistency but lacks commitment. For the empirically relevant prospect theory specifications, we obtain the extreme prediction that such a decision ...
Sebastian Ebert, Philipp Strack
wiley +1 more source