We show that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a stron.
This paper is concerned with a specific ontological problem, arising from the axiomatic investigation of Feferman's "explicit mathematics" (henceforth, in.
We show that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a strong power ...
Formulas: if t, s and r are terms, t=s, t€ s and Ap(t,s,r) are formulas; if. A, B are formulas, then A, VæÅ and A A B are formulas.
It is shown that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a strong ...
Relating Quine's NF to Feferman's em. 1999, Studia Logica. View full text ... Wagering on more than one outcome in an event in Cumulative Prospect Theory and Rank ...
This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological ...
NF and related theories usually employ Quine's set-theoretic definition of the ordered pair, which yields a type-level ordered pair.
Missing: EM. | Show results with:EM.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica ... Type-raising operations on cardinal and ordinal numbers in Quine's "new foundations ...
, Cantini, Relating Quine's NF to Feferman's EM, Studia Logica, vol. 62 (1999), pp. 141-162.Google Scholar. [6] A., Cantini and P., Minari, Uniform ...