|
Interpretation (model Theory)
In model theory, interpretation of a structure ''M'' in another structure ''N'' (typically of a different signature) is a technical notion that approximates the idea of representing ''M'' inside ''N''. For example every reduct or definitional expansion of a structure ''N'' has an interpretation in ''N''. Many model-theoretic properties are preserved under interpretability. For example if the theory of ''N'' is stable and ''M'' is interpretable in ''N'', then the theory of ''M'' is also stable. Note that in other areas of mathematical logic, the term "interpretation" may refer to a structure, rather than being used in the sense defined here. These two notions of "interpretation" are related but nevertheless distinct. Definition An interpretation of a structure ''M'' in a structure ''N'' with parameters (or without parameters, respectively) is a pair (n,f) where ''n'' is a natural number and f is a surjective map from a subset of ''Nn'' onto ''M'' such that the f-preimage (mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mathematical logic), mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be definable set, defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stable theory, stability theory. Compared to other areas of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structure (mathematical Logic)
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces. The term universal algebra is used for structures with no relation symbols. Model theory has a different scope that encompasses more arbitrary theories, including foundational structures such as models of set theory. From the model-theoretic point of view, structures are the objects used to define the semantics of first-order logic. For a given theory in model theory, a structure is called a model if it satisfies the defining axioms of that theory, although it is sometimes disambiguated as a ''semantic model'' when one discusses the notion in the more general setting of mathematical models. Logicians sometimes refer to structures as "interpretations", whereas the term "interpretation" generally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Signature (logic)
In logic, especially mathematical logic, a signature lists and describes the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. They are rarely made explicit in more philosophical treatments of logic. Definition Formally, a (single-sorted) signature can be defined as a 4-tuple , where ''S''func and ''S''rel are disjoint sets not containing any other basic logical symbols, called respectively * ''function symbols'' (examples: +, ×, 0, 1), * ''relation symbols'' or ''predicates'' (examples: ≤, ∈), * ''constant symbols'' (examples: 0, 1), and a function ar: ''S''func \cup ''S''rel → \mathbb N which assigns a natural number called ''arity'' to every function or relation symbol. A function or relation symbol is called ''n''-ary if its arity is ''n''. Some authors define a nullary (0-ary) function symbol as ''constant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reduct
In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion." Definition Let ''A'' be an algebraic structure (in the sense of universal algebra) or a structure in the sense of model theory, organized as a set ''X'' together with an indexed family of operations and relations φ''i'' on that set, with index set ''I''. Then the reduct of ''A'' defined by a subset ''J'' of ''I'' is the structure consisting of the set ''X'' and ''J''-indexed family of operations and relations whose ''j''-th operation or relation for ''j'' ∈ ''J'' is the ''j''-th operation or relation of ''A''. That is, this reduct is the structure ''A'' with the omission of those operations and relations φ''i'' for which ''i'' is not in ''J''. A structure ''A'' is an expansion of ''B'' just when ''B'' is a reduct of ''A''. That is, reduct and expansion are mutual conver ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Theory
In the mathematical field of model theory, a complete theory is called stable if it does not have too many types. One goal of classification theory is to divide all complete theories into those whose models can be classified and those whose models are too complicated to classify, and to classify all models in the cases where this can be done. Roughly speaking, if a theory is not stable then its models are too complicated and numerous to classify, while if a theory is stable there might be some hope of classifying its models, especially if the theory is superstable or totally transcendental. Stability theory was started by , who introduced several of the fundamental concepts, such as totally transcendental theories and the Morley rank. Stable and superstable theories were first introduced by , who is responsible for much of the development of stability theory. The definitive reference for stability theory is , though it is notoriously hard even for experts to read, as mentioned, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surjective
In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of its domain. It is not required that be unique; the function may map one or more elements of to the same element of . The term ''surjective'' and the related terms '' injective'' and '' bijective'' were introduced by Nicolas Bourbaki, a group of mainly French 20th-century mathematicians who, under this pseudonym, wrote a series of books presenting an exposition of modern advanced mathematics, beginning in 1935. The French word '' sur'' means ''over'' or ''above'', and relates to the fact that the image of the domain of a surjective function completely covers the function's codomain. Any function induces a surjection by restricting its codomain to the image of its domain. Every surjective function has a right inverse assuming the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Map (mathematics)
In mathematics, a map or mapping is a function in its general sense. These terms may have originated as from the process of making a geographical map: ''mapping'' the Earth surface to a sheet of paper. The term ''map'' may be used to distinguish some special types of functions, such as homomorphisms. For example, a linear map is a homomorphism of vector spaces, while the term linear function may have this meaning or it may mean a linear polynomial. In category theory, a map may refer to a morphism. The term ''transformation'' can be used interchangeably, but '' transformation'' often refers to a function from a set to itself. There are also a few less common uses in logic and graph theory. Maps as functions In many branches of mathematics, the term ''map'' is used to mean a function, sometimes with a specific property of particular importance to that branch. For instance, a "map" is a " continuous function" in topology, a "linear transformation" in linear algebra, etc. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definable Set
In mathematical logic, a definable set is an ''n''-ary relation on the domain of a structure whose elements satisfy some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation. Definition Let \mathcal be a first-order language, \mathcal an \mathcal-structure with domain M, X a fixed subset of M, and m a natural number. Then: * A set A\subseteq M^m is ''definable in \mathcal with parameters from X'' if and only if there exists a formula \varphi _1,\ldots,x_m,y_1,\ldots,y_n/math> and elements b_1,\ldots,b_n\in X such that for all a_1,\ldots,a_m\in M, :(a_1,\ldots,a_m)\in A if and only if \mathcal\models\varphi _1,\ldots,a_m,b_1,\ldots,b_n/math> :The bracket notation here indicates the semantic evaluation of the free variables in the formula. * A set ''A is definable in \mathcal without parameters'' if it is definable in \mathcal with pa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-order Logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists''"'' is a quantifier, while ''x'' is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic. A theory about a topic is usually a first-order logic together with a specified domain of discourse (over which the quantified variables range), finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek διαγώνιος ''diagonios'', "from angle to angle" (from διά- ''dia-'', "through", "across" and γωνία ''gonia'', "angle", related to ''gony'' "knee"); it was used by both Strabo and Euclid to refer to a line connecting two vertices of a rhombus or cuboid, and later adopted into Latin as ''diagonus'' ("slanting line"). In matrix algebra, the diagonal of a square matrix consists of the entries on the line from the top left corner to the bottom right corner. There are also other, non-mathematical uses. Non-mathematical uses In engineering, a diagonal brace is a beam used to brace a rectangular structure (such as scaffolding) to withstand strong forces pushing into it; although called a diagonal, due to practical considerations ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Of A Function
In mathematics, the graph of a function f is the set of ordered pairs (x, y), where f(x) = y. In the common case where x and f(x) are real numbers, these pairs are Cartesian coordinates of points in two-dimensional space and thus form a subset of this plane. In the case of functions of two variables, that is functions whose domain consists of pairs (x, y), the graph usually refers to the set of ordered triples (x, y, z) where f(x,y) = z, instead of the pairs ((x, y), z) as in the definition above. This set is a subset of three-dimensional space; for a continuous real-valued function of two real variables, it is a surface. In science, engineering, technology, finance, and other areas, graphs are tools used for many purposes. In the simplest case one variable is plotted as a function of another, typically using rectangular axes; see '' Plot (graphics)'' for details. A graph of a function is a special case of a relation. In the modern foundations of mathematics, and, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Equivalence
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deformation being called a homotopy (, ; , ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
