Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Interpretations of set theory and ordinal number theory
View through CrossRef
In [3], Takeuti developed the theory of ordinal numbers (ON) and constructed a model of Zermelo-Fraenkel set theory (ZF), using the primitive recursive relation ∈ of ordinal numbers. He proved:(1) If A is a ZF-provable formula, then its interpretation A0 in ON is ON-provable;(2) Let B be a sentence of ordinal number theory. Then B is a theorem of ON if and only if the natural translation B* of B in set theory is a theorem of ZF;(3) (V = L)° holds in ON.
Title: Interpretations of set theory and ordinal number theory
Description:
In [3], Takeuti developed the theory of ordinal numbers (ON) and constructed a model of Zermelo-Fraenkel set theory (ZF), using the primitive recursive relation ∈ of ordinal numbers.
He proved:(1) If A is a ZF-provable formula, then its interpretation A0 in ON is ON-provable;(2) Let B be a sentence of ordinal number theory.
Then B is a theorem of ON if and only if the natural translation B* of B in set theory is a theorem of ZF;(3) (V = L)° holds in ON.
Related Results
Ordinal Probability Effect Measures for Group Comparisons in Multinomial Cumulative Link Models
Ordinal Probability Effect Measures for Group Comparisons in Multinomial Cumulative Link Models
SummaryWe consider simple ordinal model-based probability effect measures for comparing distributions of two groups, adjusted for explanatory variables. An “ordinal superiority” me...
Ordinal Regression Models in Psychology: A Tutorial
Ordinal Regression Models in Psychology: A Tutorial
Ordinal variables, while extremely common in Psychology, are almost exclusively analysed with statistical models that falsely assume them to be metric. This practice can lead to di...
Some properties of ordinal diagrams
Some properties of ordinal diagrams
The theory of ordinal diagrams has been a most powerful means for consistency proofs of some systems of second order arithmetic. The last existing result in this line is the consis...
The Impact of Dichotomization on Network Recovery
The Impact of Dichotomization on Network Recovery
Graphical models have become an important method for studying the network structure of multivariate psychological data. Accurate recovery of the underlying network structure is par...
The Impact of Dichotomization on Network Recovery
The Impact of Dichotomization on Network Recovery
Network psychometrics has become an important method for studying the network structure of multivariate psychological data. Accurate recovery of the underlying network structure is...
Objective evaluation of fabric smoothness appearance with an ordinal classification framework based on label noise estimation
Objective evaluation of fabric smoothness appearance with an ordinal classification framework based on label noise estimation
Objective fabric smoothness appearance evaluation plays an important role in the textile and apparel industry. In most previous studies, objective fabric smoothness appearance eval...
Ordinal Simplicity in Discrete Mechanism Design
Ordinal Simplicity in Discrete Mechanism Design
ABSTRACTIn environments without transfers, market designers usually restrict attention to ordinal mechanisms. Ordinal mechanisms are simpler but miss potentially welfare‐relevant i...
Ordinal Utility
Ordinal Utility
Chapter 5 deals with the ordinal revolution in utility analysis inaugurated by Vilfredo Pareto around 1900. The fundamental notion of Pareto’s analysis was that of preference, and ...