User contributions
- 14:43, 21 April 2013 diff hist +45 m Sigma-algebra (Computer Science) reference added
- 14:35, 21 April 2013 diff hist +186 m Evaluation Short remark concerning designation current
- 09:05, 21 April 2013 diff hist +181 m Coordinatization Introduction improved current
- 19:30, 20 April 2013 diff hist +1,673 N Gödelization Created page with "{{MSC|68P05}} {{TEX|done}} A <i>Gödelization</i> or <i>Gödel numbering</i> of a $\Sigma$-algebra $A$ is a pair $(C,\beta)$ with $C$ a..."
- 17:31, 18 April 2013 diff hist +286 m Sigma-algebra (Computer Science) →Special Topics
- 17:01, 8 April 2013 diff hist +2,503 N Coordinatization Created page with "{{MSC|68P05}} {{TEX|done}} A coordinatization is a representation of a $\Sigma$-algebra $A$ by a $\Sigma$-algebra consisting of natural..."
- 16:04, 24 March 2013 diff hist 0 m Interpretation (Formalized Language) →Special Topics
- 16:02, 24 March 2013 diff hist +5,922 N Interpretation (Formalized Language) Created page with "{{MSC|68P05}} {{TEX|done}} Interpretations establish a relationship between syntax and semantics. The syntax is represented by the [[Term (Formaliz..."
- 15:58, 24 March 2013 diff hist +66 N File:Diagram interpretation.png Relationship between Evaluations, Assignements and Interpretations current
- 15:36, 24 March 2013 diff hist +1,088 N Evaluation Created page with "{{MSC|68P05}} {{TEX|done}} An interpretation $v^\ast\colon T(\Sigma,\emptyset)\longrightarrow A$ only defined on the [[Term (Formal..."
- 12:21, 3 March 2013 diff hist +2,717 N Assignement Created page with "{{MSC|68P05}} {{TEX|done}} An assignement is used for assigning specific values $a_1,\ldots,a_n$ to the free variables $X_1,\ldots,X_n\in V(t)$ of a term $t\in T(\Sigma,X)$..." current
- 15:56, 23 February 2013 diff hist +987 Sigma-algebra (Computer Science)
- 15:09, 22 February 2013 diff hist +5,528 Sigma-algebra (Computer Science) →References
- 19:31, 20 February 2013 diff hist +368 Term-generated Sigma-algebra →Characterization of Term-generated $\Sigma$-Algebras current
- 18:53, 18 February 2013 diff hist +219 m Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 16:16, 18 February 2013 diff hist +4 m Sigma-Congruence →Definition of $\Sigma$-congruences current
- 16:12, 18 February 2013 diff hist +2 m Sigma-Congruence →Application II: Term-generated $\Sigma$-Algebras
- 16:10, 18 February 2013 diff hist -1 m Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 16:10, 18 February 2013 diff hist +727 Term-generated Sigma-algebra →Definition of Term-generated $\Sigma$-Algebras
- 18:58, 17 February 2013 diff hist +7,707 N Sigma-Congruence Created page with "{{MSC|68P05}} {{TEX|done}} A $\Sigma$-congruence is a congruence relation defined on a $\Sigma$-algebra. T..."