Skip to search formSkip to main contentSkip to account menu

Impredicativity

Known as: Predicativism, Predicative mathematics, Impredicative definition 
In mathematics and logic, a self-referencing definition is called impredicative. More precisely, a definition is said to be impredicative if it… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
Axiom of reducibilityBounded quantifierCalculus of constructionsDefinition

Broader (1)

Recursion

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Q-Adjectives and the Semantics of Quantity
The adjectives of quantity (Q-adjectives) many, few, much and little stand out from other quantity expressions on account of… 
Highly Cited
2015
Highly Cited
2015
A Two-Tiered Theory of Control
There is a persistent intuition running from the earliest to the most recent works on the topic, that obligatory control (OC… 
Highly Cited
2010
Highly Cited
2010
The Explicit Syntax of Implicit Arguments
Although they participate in control relations, implicit arguments are standardly viewed as unprojected ϑ-roles, absent from the… 
Highly Cited
2009
Highly Cited
2009
Multi-scale integrated analysis of societal and ecosystem metabolism (MuSIASEM): Theoretical concepts and basic rationale
Highly Cited
2008
Highly Cited
2008
Functional Discourse Grammar
Functional Discourse Grammar (FDG) is a typologically based structural-functional theory of language. It has a top-down… 
Highly Cited
2008
Highly Cited
2008
Bayesian methods in finance
Preface. About the Authors. Chapter 1. Introduction. Chapter 2. The Bayesian Paradigm. Chapter 3. Prior and Posterior Information… 
Highly Cited
2008
Highly Cited
2008
Two routes of control: evidence from case transmission in Russian
The unpronounced subject of infinitives, PRO, bears standard case, which is reflected on agreeing predicative elements in… 
Highly Cited
1997
Highly Cited
1997
The Raising of Predicates: Predicative Noun Phrases and the Theory of Clause Structure
Acknowledgments Introduction: four apparently unrelated empirical domains 1. The anomaly of copular sentences: the raising of… 
Highly Cited
1988
Highly Cited
1988
Semantics and property theory
The nature of properties, relations and propositions has always been at the heart of philosophical debate. Among other things… 
Highly Cited
1985
Highly Cited
1985
Recovering from execution errors in SIPE
In real‐world domains (e.g., a mobile robot environment), things do not always proceed as planned, so it is important to develop… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)