- pseudoelementary class
- мат. псевдоэлементарный класс
Большой англо-русский и русско-английский словарь. 2001.
pseudoelementary class
Смотреть что такое "pseudoelementary class" в других словарях:
Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… … Wikipedia
Elementary class — In the branch of mathematical logic called model theory, an elementary class (or axiomatizable class) is a class consisting of all structures satisfying a fixed first order theory. Contents 1 Definition 2 Conflicting and alternative terminology … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
Quasivariety — A quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. TOC DefinitionIn mathematics, a quasivariety is a class K of algebras with a specified… … Wikipedia
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
