2021
DOI: 10.1007/978-3-030-80049-9_2
|View full text |Cite
|
Sign up to set email alerts
|

On Measure Quantifiers in First-Order Arithmetic

Abstract: We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all possible interpretations of the quantified variable. We show that first-order arithmetic with measure quantifiers is capable of formalizing simple results from probability theory and, most importantly, of representing every recursive random function. Moreover, we introduce a realiz… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

1
32
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
3
2
1

Relationship

3
3

Authors

Journals

citations
Cited by 6 publications
(33 citation statements)
references
References 51 publications
1
32
0
Order By: Relevance
“…The global structure of our proof follows a similar path, with an algebra of oracle recursive function, called POR, playing the role of our Cobham-style function algebra. In our case, functions are poly-time computable by PTMs and the theory is randomized RS 1 2 . After introducing these classes, we show that the random functions which are Σ b 1 -representable in RS 1 2 are precisely those in POR, and that POR is equivalent (in a very specific sense) to the class of functions computed by PTMs running in polynomial time.…”
Section: Overviewmentioning
confidence: 99%
See 1 more Smart Citation
“…The global structure of our proof follows a similar path, with an algebra of oracle recursive function, called POR, playing the role of our Cobham-style function algebra. In our case, functions are poly-time computable by PTMs and the theory is randomized RS 1 2 . After introducing these classes, we show that the random functions which are Σ b 1 -representable in RS 1 2 are precisely those in POR, and that POR is equivalent (in a very specific sense) to the class of functions computed by PTMs running in polynomial time.…”
Section: Overviewmentioning
confidence: 99%
“…Indeed, functions in POR access randomness in a rather different way with respect to PTMs, and relating these models requires some effort, that involves long chains of intermediate simulations. Concretely, we start by defining the class of oracle functions over strings, the new theory RS 1 2 , strongly inspired by [9], but over a "probabilistic word language", and considering a slightly modified notion of Σ b i -representability, fitting the domain of our peculiar oracle functions. Then, we prove that the class of random functions computable in polynomial time, called RFP, is precisely the class of functions which are Σ b 1 -representable in RS 1 2 in three steps:…”
Section: Overviewmentioning
confidence: 99%
“…i.e. balanced 3 and {[], hn}-free. The rule (@ ∩ ) is a standard extension of rule (@) of C → to finite intersections.…”
Section: From Probability To (Intersection) Typesmentioning
confidence: 99%
“…Recently, the authors have proposed to use counting quantifiers [2,3] as a means to express probabilities within a logical language. These quantifiers, unlike standard ones, determine not only the existence of an assignment of values to variables with certain characteristics, but rather count how many of those assignments exist.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation