Model Theoretic Logics and Their Frontiers

A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "Algebra, Geometry and Topology".

Deadline for manuscript submissions: 1 June 2024 | Viewed by 3453

Special Issue Editor

1. Alfred Renyi Institute of Mathematics, Budapest, Hungary
2. Department of Algebra, Budapest University of Technology and Economics, Budapest, Hungary
Interests: mathematical logic (especially model theory; algebraic logic); universal algebra; general topology

Special Issue Information

Dear Colleagues,

The Special Issue “Model Theoretic Logics and their Frontiers” aims to provide an opportunity for logicians where they can present research results and interchange ideas about recent developments in the subject. It is a joint Special Issue with the conference of “Model Theoretic Logics and their Frontiers”. With this event, we also join to celebrate the UNESCO proclaimed World Logic Day in 2022. We intend to provide an adequate forum where younger researchers may cooperate with, and receive feedback on their work from, internationally recognized leaders of the field.

The main topics of the Special Issue include (but not restricted to):

  • Model theory;
  • Algebraic logic;
  • Modal logic;
  • Set theory;
  • Higher Baire spaces;
  • Non-classical logic;
  • Connections between logic and computer science.

A special emphasis will be made to connections with other areas of mathematics, such as algebra, finite and infinitary combinatorics, measure theory, and topology. 

Dr. Gabor Sagi
Guest Editor

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Mathematics is an international peer-reviewed open access semimonthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • mathematical logic
  • model theory
  • algebraic logic
  • logic and computer science

Published Papers (2 papers)

Order results
Result details
Select all
Export citation of selected articles as:

Research

Jump to: Review

9 pages, 251 KiB  
Article
On Some Model Theoretic Properties of Totally Bounded Ultrametric Spaces
by Gábor Sági and Karrar Al-Sabti
Mathematics 2022, 10(12), 2144; https://doi.org/10.3390/math10122144 - 20 Jun 2022
Cited by 1 | Viewed by 1273
Abstract
Continuing investigations initiated by the first author, we associate relational structures for metric spaces and investigate their model theoretic properties. In this paper, we consider ultrametric spaces. Among others, we show that any elementary substructure of the relational structure associated with a totally [...] Read more.
Continuing investigations initiated by the first author, we associate relational structures for metric spaces and investigate their model theoretic properties. In this paper, we consider ultrametric spaces. Among others, we show that any elementary substructure of the relational structure associated with a totally bounded ultrametric space X is dense in X. Further, we provide an explicit upper bound for a splitting chain of atomic types in ultrametric spaces of a finite spectrum. For ultrametric spaces, these results improve previous ones of the present authors and may have further practical applications in designing similarity detecting algorithms. Full article
(This article belongs to the Special Issue Model Theoretic Logics and Their Frontiers)

Review

Jump to: Research

19 pages, 322 KiB  
Review
Ultraproducts and Related Constructions
by Gábor Sági
Mathematics 2023, 11(1), 70; https://doi.org/10.3390/math11010070 - 25 Dec 2022
Viewed by 1072
Abstract
In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some aspects of the model theory of first-order [...] Read more.
In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some aspects of the model theory of first-order and second-order existential logics, finite Ramsey theory and general topology. Special emphasis has been made for producing a uniform treatment and for highlighting interconnections between these different subjects. Full article
(This article belongs to the Special Issue Model Theoretic Logics and Their Frontiers)
Back to TopTop