**by Vassily Lyubetsky, Vladimir Kanovei**

DescriptionTable of ContentsDetailsHashtagsReport an issue ### Book Description

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions:

I. Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented.

II. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article).

III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich's conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human. ### Table of Contents

### Book Details

### Related Books

I. Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented.

II. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article).

III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich's conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human.

This open book is licensed under a Creative Commons License (CC BY-NC-ND). You can download Mathematical Logic and Its Applications 2020 ebook for free in PDF format (9.7 MB).

Chapter 1

Models of Set Theory in which NonconstructibleReals First Appear at a Given Projective Level

Chapter 2

On the Δ 1 n Problem of Harvey Friedman

Chapter 3

On the 'Definability of Definable'Problem of Alfred Tarski

Chapter 4

Linear Time Additively Exact Algorithm for Transformation of Chain-Cycle Graphs for Arbitrary Costs of Deletions and Insertions

Chapter 5

Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non) Commutative Algebraic Geometry

Chapter 6

Physiological Balance of the Body: Theory, Algorithms, and Results

Subject

Mathematics

Publisher

MDPI

Published

2021

Pages

198

Edition

1

Language

English

ISBN13

9783036507781

ISBN10

3036507787

ISBN13 Digital

9783036507798

ISBN10 Digital

3036507795

PDF Size

9.7 MB

License

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...

This book begins with an algorithm - a set of IF...THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in ...

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...

This comprehensive edited volume is the first of its kind, designed to serve as a textbook for long-duration business analytics programs. It can also be used as a guide to the field by practitioners. The book has contributions from experts in top universities and industry. The editors have taken extreme care to ensure continuity across the chapters...

Business Mathematics was written to meet the needs of a twenty-first century student. It takes a systematic approach to helping students learn how to think and centers on a structured process termed the PUPP Model (Plan, Understand, Perform, and Present). This process is found throughout the text and in every guided example to help students develop...

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
The tot...