Skip to search formSkip to main contentSkip to account menu

Bounded quantifier

Known as: Bounded quantifiers 
In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language in addition to the standard quantifiers… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Arithmetical hierarchyContext-sensitive grammarELEMENTARYEffective descriptive set theory

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Neural Networks and Quantifier Conservativity: Does Data Distribution Affect Learnability?
All known natural language determiners are conservative. Psycholinguistic experiments indicate that children exhibit a… 
2017
2017
Quine ’ s “ New Foundations ” is consistent
In this paper we will present a proof of the consistency of Quine’s set theory “New Foundations” (hereinafter NF), so-called… 
2016
2016
On the Banach space structure of Banach lattices with disjointness preserving isometries: ultraroots and axiomatizability
Let C be an axiomatizable class of order continuous real or complex Banach lattices, that is, this class is closed under… 
2013
2013
FROM THE THEOREM OF WAŻEWSKI TO COMPUTER ASSISTED PROOFS IN DYNAMICS
1. Introduction. In 1947 Tadeusz Wa˙ zewski [35, 36] proved his famous Retract Theorem. Roughly speaking the theorem states that… 
2009
2009
ANALYTIC STRUCTURES AND MODEL THEORETIC COMPACTNESS
In recent years, there has been considerable interest in replicating the successful development of first-order model theory in… 
2009
2009
Conservative Fragments of S 12 and R 1 2
Conservative subtheories of R 2 and S 1 2 are presented. For S 1 2 , a slight tightening of Jeřábek’s result [18] that T 0 2 ∀Σ1… 
2008
2008
Short Note: Coefficients of Variation in Variables with Bounded Scales
With a variable that is recorded on a scale with fixed bounds, it can be appropriate to use for the denominator of the… 
Review
2007
Review
2007
Non-truth-functional Order Norms
I defend the introduction of triangular (semi)norms and (semi)conorms on bounded partially ordered sets. First, I give a brief… 
1997
1997
Algebraic Methods and Bounded Formulas
  • D. Zambella
  • Notre Dame J. Formal Log.
  • 1997
  • Corpus ID: 14086684
We present some algebraic tools useful to the study of the ex-pressive power of bounded formulas in second-order arithmetic… 
1994
1994
Distributivity in Incompletely Speciied Type Hierarchies: Theory and Computational Complexity
Type hierarchies are a central feature of current systems which employ feature structures for the representation and manipulation…