Omitting unary and affine types

Details Omitting unary and affine types Omitting unary and affine types

2012-01-12

arxiv.org/abs/1201.2530v1

Mathematics

Logic

Scientific paper

In this paper we examine the possibility of describing omitting types 1 and 2 by two at most ternary terms and any number of linear identities. All possible cases of systems of linear identities on two at most ternary terms are being analyzed, and it is shown that only three of these systems might describe omitting types 1 and 2. However, we do not resolve whether either of them actually describes omitting mentioned types, but only prove that each of them implies this property, so this question is left for further examination.

Affiliated with

Also associated with

No associations

Rating

Omitting unary and affine types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Omitting unary and affine types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Omitting unary and affine types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-152010