On Interpretability in the Theory of Concatenation
نویسنده
چکیده
We prove that a variant of Robinson arithmetic Q with non-total operations is interpretable in the theory of concatenation TC introduced by A. Grzegorczyk. Since Q is known to be interpretable in that non-total variant, our result gives a positive answer to the problem whether Q is interpretable in TC. An immediate consequence is essential undecidability
منابع مشابه
Relatives of Robinson Arithmetic
We consider two theories of concatenation, F and TC, proposed by Grzegorczyk, and proofs of their mutual interpretability. We also discuss the Grzegorczyk’s project of replacing, in foundational studies, the Robinson’s Q by some variant of the theory of
متن کاملPatient-Provider Interaction: A Communication Accommodation Theory Perspective
This paper critically reviews studies that have interpretively invoked communication accommodation theory (CAT) for the study of patient-provider interaction. CAT’s sociolinguistic strategies—approximation, interpretability, interpersonal control, discourse management, and emotional expression—are succinctly introduced and their use in studies of patient-provider interaction discussed. The majo...
متن کاملArithmetics in finite but potentially infinite worlds
Let FM(A), for A = (ω, R̄), be the family of finite models being initial segments of A. The thesis investigates logical properties of families of the form FM(A) for various arithmetics like arithmetic of addition and multiplication, Skolem arithmetic of multiplication, arithmetic of coprimality, of exponentiation and arithmetic of concatenation. We concentrate on questions such as decidability o...
متن کاملA NOTE TO INTERPRETABLE FUZZY MODELS AND THEIR LEARNING
In this paper we turn the attention to a well developed theory of fuzzy/lin-guis-tic models that are interpretable and, moreover, can be learned from the data.We present four different situations demonstrating both interpretability as well as learning abilities of these models.
متن کاملImprovement of the Analytical Queries Response Time in Real-Time Data Warehouse using Materialized Views Concatenation
A real-time data warehouse is a collection of recent and hierarchical data that is used for managers’ decision-making by creating online analytical queries. The volume of data collected from data sources and entered into the real-time data warehouse is constantly increasing. Moreover, as the volume of input data to the real time data warehouse increases, the interference between online loading ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 50 شماره
صفحات -
تاریخ انتشار 2009