Beta
387156

New perspectives in algebraic logic, from neat embeddings to Erdos graphs

Article

Last updated: 31 Dec 2024

Subjects

-

Tags

-

Abstract

The notion of neat reducts is an old venerable notion in cylindric algebra theory invented by Henkin. This notion is regaining momentum. In this paper we explain why. This notion is discussed in connection to the algebraic notions of representability and complete representability, and the corresponding metalogical ones of completeness and omitting types, particularly for finite variable fragments. Also it is shown how such a notion has found intersection with non-trivial topics in model theory (like finite forcing) and set theory (forcing).

DOI

10.1016/j.joems.2011.08.002

Authors

First Name

Tarek

Last Name

Ahmed

MiddleName

Sayed

Affiliation

Maths. Dept., Faculty of Science, Cairo University, Giza, Egypt

Email

rutahmed@gmail.com

City

-

Orcid

-

Volume

19

Article Issue

1

Related Issue

50532

Issue Date

2011-06-01

Receive Date

2024-10-20

Publish Date

2011-06-01

Page Start

4

Page End

16

Print ISSN

1110-256X

Online ISSN

2090-9128

Link

https://joems.journals.ekb.eg/article_387156.html

Detail API

https://joems.journals.ekb.eg/service?article_code=387156

Order

387,156

Publication Type

Journal

Publication Title

Journal of the Egyptian Mathematical Society

Publication Link

https://joems.journals.ekb.eg/

MainTitle

New perspectives in algebraic logic, from neat embeddings to Erdos graphs

Details

Type

Article

Created At

21 Dec 2024