Search references for CONTINUOUS FUNCTION-ORDINAL-THEORY. Phrases containing CONTINUOUS FUNCTION-ORDINAL-THEORY
See searches and references containing CONTINUOUS FUNCTION-ORDINAL-THEORY!CONTINUOUS FUNCTION-ORDINAL-THEORY
Order-continuous function on ordinals
In set theory, a continuous function is a sequence of ordinals such that the values assumed at limit stages are the limits (limit suprema and limit infima)
Continuous function (ordinal theory)
Continuous_function_(ordinal_theory)
Mathematical function on ordinals
mathematics, the Veblen functions are a hierarchy of normal functions (continuous strictly increasing functions from ordinals to ordinals), introduced by Oswald
Veblen_function
Concept in economics and decision theory
Thus, ordinal utility utilizes comparisons, such as "preferred to", "no more", "less than", etc. If a function u ( x ) {\displaystyle u(x)} is ordinal and
Utility
Generalization of "n-th" to infinite cases
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite
Ordinal_number
Order-preserving mathematical function
was later generalized to the more abstract setting of order theory. In calculus, a function f {\displaystyle f} defined on a subset of the real numbers
Monotonic_function
Set-theoretic function
In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive
Ordinal_collapsing_function
Preference ranking
economics, an ordinal utility function is a function representing the preferences of an agent on an ordinal scale. Ordinal utility theory claims that it
Ordinal_utility
Property of functions which is weaker than continuity
\mathbb {R} } , and upper semi-continuous if − f {\displaystyle -f} is lower semi-continuous. A function is continuous if and only if it is both upper
Semi-continuity
Type of mathematical function
In mathematical logic and set theory, an ordinal notation is a partial function mapping the set of all finite sequences of symbols, themselves members
Ordinal_notation
Axiomatic set theories based on the principles of mathematical constructivism
weakened theory of ordinals in turn affects the proof theoretic strength defined in ordinal analysis. In exchange, constructive set theories can exhibit
Constructive_set_theory
Mathematical relation assigning a probability event to a cost
optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values
Loss_function
Operations on ordinals that extend classical arithmetic
In the mathematical field of set theory, ordinal arithmetic includes binary operations on ordinal numbers such as addition, multiplication, and exponentiation
Ordinal_arithmetic
Partial order with well-ordered predecessors
{\displaystyle t} . The height of T {\displaystyle T} itself is the least ordinal greater than the height of each element of T {\displaystyle T} . A root
Tree_(set_theory)
Function of ordinals in mathematics
In axiomatic set theory, a function f : Ord → Ord is called normal (or a normal function) if it is continuous (with respect to the order topology) and
Normal_function
In mathematics, Baire functions are functions obtained from continuous functions by transfinite iteration of the operation of forming pointwise limits
Baire_function
Function that preserves distinctness
In mathematics, an injective function (also known as injection, or one-to-one function) is a function f that maps distinct elements of its domain to distinct
Injective_function
Type of infinite structure
for the exponential function by Wilkie's theorem. More generally, the complete theory of the real numbers with Pfaffian functions added. The last two
O-minimal_theory
Distinction between nominal, ordinal, interval and ratio variables
best-known classification with four levels, or scales, of measurement: nominal, ordinal, interval, and ratio. This framework of distinguishing levels of measurement
Level_of_measurement
In set theory, a mathematical discipline, a fundamental sequence is a cofinal sequence of ordinals all below a given limit ordinal. Depending on author
Fundamental sequence (set theory)
Fundamental_sequence_(set_theory)
Measure for evaluating probabilistic forecasts
In decision theory, both a scoring rule as well as a scoring function provide an ex post summary measure for the evaluation of the quality of a prediction
Scoring_rule
Function uniquely mapping two numbers into a single number
pairing function is a process to uniquely encode two natural numbers into a single natural number. Any pairing function can be used in set theory to prove
Pairing_function
Study of computable functions and Turing degrees
computable function. The c.e. sets, although not decidable in general, have been studied in detail in computability theory. Beginning with the theory of computable
Computability_theory
Study of mathematical algorithms for optimization problems
value of the function f as representing the energy of the system being modeled. In machine learning, it is always necessary to continuously evaluate the
Mathematical_optimization
Size of a possibly infinite set
countable ordinals. Among these, only ω {\displaystyle \omega } itself is an initial ordinal. The α {\displaystyle \alpha } -th infinite initial ordinal is
Cardinal_number
Number
set. Also in set theory, 0 is the lowest ordinal number, corresponding to the empty set viewed as a well-ordered set. In order theory (and especially its
0
Relation among continuous functions
function Continuous function – Mathematical function with no sudden changes Continuous function (set theory) – Order-continuous function on ordinalsPages
Equicontinuity
for an ordinal. β 1. βX is the Stone–Čech compactification of X. 2. An ordinal. γ A gamma number, an ordinal of the form ωα. Γ The Gamma function of ordinals
Glossary_of_set_theory
Topics referred to by the same term
generalization to functions between topological spaces Scott continuity, for functions between posets Continuity (set theory), for functions between ordinals Continuity
Continuity
Certain large countable ordinal
Veblen functions allowing infinitely many arguments. Veblen, Oswald (1908), "Continuous Increasing Functions of Finite and Transfinite Ordinals", Transactions
Large_Veblen_ordinal
Concept in economics
Standard utility functions represent ordinal preferences. The expected utility hypothesis imposes limitations on the utility function and makes utility
Expected_utility_hypothesis
3-volume treatise on mathematics, 1910–1913
books of the 20th century. The Principia covered only set theory, cardinal numbers, ordinal numbers, and real numbers. Deeper theorems from real analysis
Principia_Mathematica
Certain topology in mathematics
ordinal and X is a set, an α-indexed sequence of elements of X merely means a function from α to X. This concept, a transfinite sequence or ordinal-indexed
Order_topology
Symbols for constants, special functions
passage of time in mathematical finance in set theory, a certain ordinal number Heaviside step function θ {\displaystyle \theta } (lowercase) represents:
Greek letters used in mathematics, science, and engineering
Greek_letters_used_in_mathematics,_science,_and_engineering
Mathematical function such that every output has at least one input
surjective function (also known as surjection, or onto function /ˈɒn.tuː/) is a function f such that, for every element y of the function's codomain, there
Surjective_function
Branch of mathematics
topologies and the concepts of order theory. For example, a function preserves directed suprema if and only if it is continuous with respect to the Scott topology
Order_theory
Statement about linear functionals and measures
relates linear functionals on spaces of continuous functions on a locally compact space to measures in measure theory. The theorem is named for Frigyes Riesz (1909)
Riesz–Markov–Kakutani representation theorem
Riesz–Markov–Kakutani_representation_theorem
Function that ranks states of society according to their desirability
and social choice theory, a social welfare function—also called a social ordering, ranking, utility, or choice function—is a function that ranks a set
Social_welfare_function
Mathematical result on ordinals
limit ordinal then the equality follows from the continuous property of f {\displaystyle f} . A fixed point of a normal function is an ordinal β {\displaystyle
Fixed-point lemma for normal functions
Fixed-point_lemma_for_normal_functions
Third letter of the Greek alphabet
materials science The Lorentz factor in the theory of relativity In mathematics, the lower incomplete gamma function The heat capacity ratio Cp /Cv in thermodynamics
Gamma
Economics theorem
and the theory of the firm. The lemma relates the ordinary (Marshallian) demand function to the derivatives of the indirect utility function. Specifically
Roy's_identity
Certain large countable ordinal
MR 1212407 Veblen, Oswald (1908), "Continuous Increasing Functions of Finite and Transfinite Ordinals", Transactions of the American Mathematical
Small_Veblen_ordinal
Set theory axiom extension
things: Every set of real numbers is ∞-Borel. For any ordinal λ < Θ, any A ⊆ ωω, and any continuous function π: λω → ωω, the preimage π−1[A] is determined. (Here
AD+
complete, transitive and continuous, can be represented by a continuous ordinal utility function. The theorems are usually applied to spaces of finite commodities
Debreu's representation theorems
Debreu's_representation_theorems
Axiom of set theory
basic axioms of set theory, they imply the axiom of choice and are implied by it. One variation avoids the use of choice functions by, in effect, replacing
Axiom_of_choice
Total order in computer science
Ackermann's system of ordinal notations. In particular, an upper bound given on the order types of recursive path orderings with n function symbols is φ(n,0)
Path ordering (term rewriting)
Path_ordering_(term_rewriting)
Class of statistical models
which this is usually done: If the response variable is ordinal, then one may fit a model function of the form: g ( μ m ) = η m = β 0 + X 1 β 1 + ⋯ + X p
Generalized_linear_model
Class of mathematical sets
countable ordinals, and thus the first ordinal at which all the Borel sets are obtained is ω 1 {\displaystyle \omega _{1}} , the first uncountable ordinal. The
Borel_set
Size of a set in mathematics
of all ordinal numbers are proper classes. Such set theories include Von Neumann–Bernays–Gödel set theory (NBG), and Morse–Kelley set theory (MK). Cantor
Cardinality
Function, homomorphism, or morphism
"map" is a "continuous function" in topology, a "linear transformation" in linear algebra, etc. Some authors, such as Serge Lang, use "function" only to
Map_(mathematics)
Set with exactly one element
spaces are terminal objects in the category of topological spaces and continuous functions. No other spaces are terminal in that category. Any singleton admits
Singleton_(mathematics)
Concept in set theory
{N}}} or sometimes by ωω (not to be confused with the countable ordinal obtained by ordinal exponentiation). The Baire space is defined to be the Cartesian
Baire_space_(set_theory)
Branch of mathematical logic
arithmetic, is greatly reduced. For example, a continuous function on the Cantor space is just a function that maps binary sequences to binary sequences
Reverse_mathematics
Condition for a mathematical function to map some value to itself
iterating a function to find a fixed point can also be used in set theory; the fixed-point lemma for normal functions states that any continuous strictly
Fixed-point_theorem
Concept in topology
every possible continuous extension, β X {\displaystyle \beta X} is characterized by a universal property: every bounded continuous function on X extends
Stone–Čech_compactification
Branch of topology
point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points. Compact sets are
General_topology
Type of mathematical measure
space of continuous functions with compact support (some authors use this as the definition of a Radon measure). This produces a good theory with no pathological
Radon_measure
Equivalence class of objects sharing local properties at a point in a topological space
or smooth, but in general this is not needed (the functions in question need not even be continuous); it is however necessary that the space on/in which
Germ_(mathematics)
consistency of an inaccessible cardinal. Existence of a partition of the ordinal number ω 2 {\displaystyle \omega _{2}} into two colors with no monochromatic
List of statements independent of ZFC
List_of_statements_independent_of_ZFC
Property of magnitude or multitude
the discrete (studied by arithmetic) and the continuous (studied by geometry and later calculus). The theory fits reasonably well elementary or school mathematics
Quantity
Process of assigning numbers to objects or events
sciences, measurements can have multiple levels, which would include nominal, ordinal, interval and ratio scales. Measurement is a cornerstone of trade, science
Measurement
Modern reformulation of the calculus in terms of infinitesimals
of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset
Smooth_infinitesimal_analysis
Mathematical concept
and coherent theory. The theory of ordinal and cardinal numbers has been further developed since Cantor, with large countable ordinals and large cardinals
Infinity
Certain large countable ordinal
S2CID 119687180 Veblen, Oswald (1908), "Continuous Increasing Functions of Finite and Transfinite Ordinals", Transactions of the American Mathematical
Ackermann_ordinal
magnitude. 2. In measure theory, μ ≪ ν {\displaystyle \mu \ll \nu } means that the measure μ {\displaystyle \mu } is absolutely continuous with respect to the
Glossary of mathematical symbols
Glossary_of_mathematical_symbols
successor ordinal, or a limit ordinal of countable cofinality. Similar notions of reduction and degree arise by replacing the continuous functions by any
Wadge_hierarchy
Generalization of the real numbers
transfinite ordinal numbers; the arithmetic on them is given by the natural operations. It has also been shown (in von Neumann–Bernays–Gödel set theory) that
Surreal_number
Knaster's condition, sometimes denoted property (K) Well-founded relation Ordinal number Well-quasi-ordering Semilattice Lattice (Directed) complete partial
List_of_order_theory_topics
proof-theoretic ordinal (the smallest ordinal a theory cannot prove well-founded) for second-order arithmetic, ZFC, or stronger theories? Ibragimov–Iosifescu
List of unsolved problems in mathematics
List_of_unsolved_problems_in_mathematics
Basic framework of mathematics
mathematics involved new methods of reasoning and new basic concepts (continuous functions, derivatives, limits) that were not well founded, but had astonishing
Foundations_of_mathematics
Mathematical space with a notion of closeness
"jumps" or "separations" in the function. A homeomorphism is a bijection that is continuous and whose inverse is also continuous. Two spaces are called homeomorphic
Topological_space
Hungarian and American mathematician and physicist (1903–1957)
major achievement in set theory was an "axiomatization of set theory and (connected with that) elegant theory of the ordinal and cardinal numbers as well
John_von_Neumann
Arithmetic operation
tetration, introduced by Goodstein in his 1947 paper Transfinite Ordinals in Recursive Number Theory (generalizing the recursive base-representation used in Goodstein's
Tetration
Infinite Cardinal number
less than a beth number) in plain Zermelo-Fraenkel set theory. Beth numbers are indexed by ordinal numbers and defined in terms of the cumulative hierarchy
Beth_number
Extension of ideas in combinatorics to infinite sets
combinatorial set theory, is an extension of ideas in combinatorics to infinite sets. Some of the things studied include continuous graphs and trees,
Infinitary_combinatorics
Economic concept
functions could not be measured with great certainty. Revealed preference theory was a means to reconcile demand theory by defining utility functions
Revealed_preference
General, formal theory of continuous quantity
The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity
Theory of conjoint measurement
Theory_of_conjoint_measurement
Operations research that evaluates multiple conflicting criteria in decision making
in many MCDM algorithms to model and solve fuzzy problems. Ordinal data based methods Ordinal data has a wide application in real-world situations. In this
Multiple-criteria decision analysis
Multiple-criteria_decision_analysis
Statistic which divides a data set into 100 parts and analyzes it as a percentage
first calculating the ordinal rank and then taking the value from the ordered list that corresponds to that rank. The ordinal rank n is calculated using
Percentile
Gives conditions that guarantee the max–min inequality holds with equality
× Y → R {\displaystyle f:X\times Y\rightarrow \mathbb {R} } is a continuous function that is concave-convex, i.e. f ( ⋅ , y ) : X → R {\displaystyle f(\cdot
Minimax_theorem
Set whose pairs have minima and maxima
inheritance Formal concept analysis and Lattice Miner (theory and tool) Bloom filter Information flow Ordinal optimization Quantum logic Median graph Knowledge
Lattice_(order)
Topological space
and only if it is a continuous image of a Cantor space. Let C(X) denote the space of all real-valued, bounded continuous functions on a topological space
Cantor_space
Functional equation characterizing associative binary operations
t-conorms. More generally, continuous nondecreasing associative operations on a compact interval can be built as ordinal sums of such basic blocks together
Associativity_equation
Relationship between items in a set
Dense, Ordinal Ranking". www.thedataschool.co.uk. Retrieved 2023-07-23. "Rank Cases: Ties". www.ibm.com. Retrieved 2023-07-23. "rank function - RDocumentation"
Ranking
Concerned with the notion of stability in model theory
concrete results from this classification theory were theorems on the possible spectrum functions of a theory, counting the number of models of cardinality
Stable_theory
Value that a party would ideally get
entitlements, when the agents reveal only an ordinal ranking on the items, rather than their complete utility functions. They present a polynomial-time algorithm
Entitlement_(fair_division)
Mathematical set containing no elements
category of topological spaces with continuous maps. In fact, it is a strict initial object: only the empty set has a function to the empty set. In the von Neumann
Empty_set
Numerical measure of a statistical relationship between variables
depending on the kind of data: principally, whether the data is a measurement, ordinal, or categorical. The Pearson product-moment correlation coefficient, also
Correlation_coefficient
Subfield of mathematics
naive set theory. Cesare Burali-Forti was the first to state a paradox: the Burali-Forti paradox shows that the collection of all ordinal numbers cannot
Mathematical_logic
Theorem in computability theory
In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions
Kleene's_recursion_theorem
Collection of objects and morphisms
category of sets, whose objects are sets and whose arrows are functions. Category theory is a branch of mathematics that seeks to generalize all of mathematics
Category_(mathematics)
Function linear in one argument, used in economics and consumer theory
In economics and consumer theory, quasilinear utility functions are linear in one argument, generally the numeraire. Quasilinear preferences can be represented
Quasilinear_utility
Fuzzy logic concept
yields a continuous t-norm. The theorem can also be formulated as follows: A t-norm is continuous if and only if it is isomorphic to an ordinal sum of the
T-norm
Description of a system using mathematical concepts and language
\dots ,p_{n}.} The consumer is assumed to have an ordinal utility function U {\displaystyle U} (ordinal in the sense that only the sign of the differences
Mathematical_model
Branch of statistics
distribution can be specified by a probability mass function; and experiments with sample spaces encoded by continuous random variables, where the distribution can
Mathematical_statistics
Thesis on the nature of computability
In computability theory, the Church–Turing thesis is a thesis about the nature of computable functions. It states that a function on the natural numbers
Church–Turing_thesis
Impossibility result for ranked-choice voting systems
and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems, and shows that for every voting rule of this form, at
Gibbard–Satterthwaite_theorem
Maps whose domain and codomain are acted on by the same group, and the map commutes
changes to a data set, and that (unlike the mean) it is meaningful for ordinal data. The concepts of an invariant estimator and equivariant estimator
Equivariant_map
Statistical method of dividing data into equal-sized intervals for analysis
discrete values or for a continuous population density, the k-th q-quantile is the data value where the cumulative distribution function crosses k/q. That is
Quantile
Atomic theory is the scientific theory that matter is composed of particles called atoms. The definition of the word "atom" has changed over the years
History_of_atomic_theory
One-to-one correspondence
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the
Bijection
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY
CONTINUOUS FUNCTION-ORDINAL-THEORY