Mathematics Logic


List of large cardinal properties
Main article: Large cardinalThis page includes a list of cardinals with large cardinal properties. It is arranged roughly in order of the consistency strength of the axiom asserting the existence of c ...
category:    2014-3-16 10:03
Set theories
The usual signature of set theory has one binary relation ∈, no constants, and no functions. Some of the theories below are "class theories" which have two sorts of object, sets and classes. There ar ...
category:    2014-3-16 10:01
Second order arithmetic
Second-order arithmetic can refer to a first order theory (in spite of the name) with two types of variables, thought of as varying over integers and subsets of the integers. (There is also a theory o ...
category:    2014-3-16 10:00
Many of the first order theories described above can be extended to complete recursively enumerable consistent theories. This is no longer true for most of the following theories; they can usually enc ...
category:    2014-3-16 10:00
The theory of the natural numbers with a successor function has signature consisting of a constant 0 and a unary function S ("successor": S(x) is interpreted as x+1), and has axioms:∀x ¬ Sx = 0∀x∀ ...
category:    2014-3-16 09:59
Differential algebra
The theory DF of differential fields.The signature is that of fields (0, 1, +, -, ×) together with a unary function ∂, the derivation. The axioms are those for fields together with\forall u\forall v ...
category:    2014-3-16 09:58
Axioms for various systems of geometry usually use a typed language, with the different types corresponding to different geometric objects such as points, lines, circles, planes, and so on. The signat ...
category:    2014-3-16 09:58
Rings and fields
The signature of (unital) rings has 2 constants 0 and 1, two binary functions + and ×, and, optionally, one unary inverse functions − −1.Rings Axioms: Addition makes the ring into an abelian group, ...
category:    2014-3-16 09:57
The signature of group theory has one constant 1 (the identity), one function of arity 1 (the inverse) whose value on t is denoted by t−1, and one function of arity 2, which is usually omitted from t ...
category:    2014-3-16 09:57
Boolean algebras
There are several different signatures and conventions used for Boolean algebras:The signature has 2 constants, 0 and 1, and two binary functions ∧ and ∨ ("and" and "or"), and one unary function ¬ ...
category:    2014-3-16 09:56
The signature of graphs has no constants or functions, and one binary relation symbol R, where R(x,y) is read as "there is an edge from x to y".The axioms for the theory of graphs areSymmetric: ∀x ∀ ...
category:    2014-3-16 09:56
Lattices can be considered either as special sorts of partially ordered sets, with a signature consisting of one binary relation symbol ≤, or as algebraic structures with a signature consisting of tw ...
category:    2014-3-16 09:54
The signature of orders has no constants or functions, and one binary relation symbols ≤. (It is of course possible to use ≥, or instead as the basic relation, with the obvious minor changes to th ...
category:    2014-3-16 09:54
Equivalence relations
The signature of equivalence relations has one binary infix relation symbol ~, no constants, and no functions. Equivalence relations satisfy the axioms:Reflexivity ∀x x~x;Symmetry ∀x ∀y x~y → y~x; ...
category:    2014-3-16 09:53
Unary relations
A set of unary relations Pi for i in some set I is called independent if for every two disjoint finite subsets A and B of I there is some element x such that Pi(x) is true for i in A and false for i i ...
category:    2014-3-16 09:53

About us|Jobs|Help|Disclaimer|Advertising services|Contact us|Sign in|Website map|Search|

GMT+8, 2015-2-18 08:50 , Processed in 0.085451 second(s), 9 queries . service for you! X3.1