formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators. The formal theory IDω...

x is a transitive set of transitive sets. These definitions cannot be used in non-well-founded set theories. In set theories with urelements, one has...

early theories by generalizing the collected data inductively, and Newton was able to unify prior theory and measurements into the consequences of his laws...

Madore, A Zoo of Ordinals (2017). Accessed September 2021. W. Richter, P. Aczel, Inductive Definitions and Reflecting Properties of Admissible Ordinals...

is Thierry Coquand's Calculus of Inductive Constructions. Type theory was created to avoid paradoxes in naive set theory and formal logic, such as Russell's...

background knowledge and hypotheses. The term "inductive" here refers to philosophical (i.e. suggesting a theory to explain observed facts) rather than mathematical...

ordinal of several mathematical theories, such as arithmetical transfinite recursion. It is named after Solomon Feferman and Kurt Schütte, the former of whom...

greater reward than mutual cooperation. The iterated prisoner's dilemma is fundamental to some theories of human cooperation and trust. Assuming that the...

two large categories: intensional definitions (which try to give the sense of a term), and extensional definitions (which try to list the objects that...

the non-constructive equivalent of the constructive definition using iterated exponentiation; but the two definitions are equally non-constructive at...

-comprehension + transfinite induction IDω, the system of ω-times iterated inductive definitions Let Ω α {\displaystyle \Omega _{\alpha }} represent the...

well as sets of natural numbers, and I D < ω {\displaystyle ID_{<\omega }} , the "formal theory of finitely iterated inductive definitions". Since the...

sets are said to be inductive. The intersection of all inductive sets is still an inductive set. This intersection is the set of the natural numbers....

}}}} , the theory of finitely iterated inductive definitions, and of K P ℓ 0 {\displaystyle KP\ell _{0}} , a fragment of Kripke-Platek set theory extended...

properties of sets arising from the inductive and recursive properties of higher inductive types. Principles such as the axiom of choice and the law of the excluded...

Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses...

ordinal of several mathematical theories, such as Kripke–Platek set theory (with the axiom of infinity) and the system CZF of constructive set theory. It...

on ν-times iterated generalized inductive definitions. A u t ( U ( I D ) ) {\displaystyle {\mathsf {Aut(U(ID))}}} is autonomously iterated U ( I D ν )...

Revision theory is a subfield of philosophical logic. It consists of a general theory of definitions, including (but not limited to) circular and interdependent...

}(\beta )} , some of which are modifications of the Veblen functions to produce countable ordinals even for uncountable arguments, and some of which are "collapsing...

not an assertion of its probability. In 370 BC, Plato's Parmenides may have contained traces of an early example of an implicit inductive proof, however...

the effects of iterating the limiting procedure; this allows any arithmetic predicate to be computed. Schubert wrote, "Intuitively, iterated limiting identification...

Feferman–Schütte ordinal Γ0. Most systems of notation use symbols such as ψ(α), θ(α), ψα(β), some of which are modifications of the Veblen functions to produce...

notation coincides with iterated base ε 0 {\displaystyle \varepsilon _{0}} notation (the pieces being themselves written in iterated Cantor normal form):...

negative examples of some concept and a set of background-knowledge predicates, FOIL inductively generates a logical concept definition or rule for the...

(set theory) – Set of elements common to all of some sets Iterated binary operation – Repeated application of an operation to a sequence List of set identities...

Wayback Machine, PhD thesis, University of Edinburgh, 1970. Shapiro, Ehud Y. Inductive inference of theories from facts Archived 21 August 2021 at the...

some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (...

Feferman–Schütte ordinal Γ0. Most systems of notation use symbols such as ψ(α), θ(α), ψα(β), some of which are modifications of the Veblen functions to produce...

Recursion Theory (1989), p.378. North-Holland, 0-444-87295-7 P. D. Welch, "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions" (2010...