Bases for Structures and Theories II

Logica Universalis 14 (4):461-479 (2020)
  Copy   BIBTEX

Abstract

In Part I of this paper, I assumed we begin with a signature $$P = \{P_i\}$$ P = { P i } and the corresponding language $$L_P$$ L P, and introduced the following notions: a definition system$$d_{\Phi }$$ d Φ for a set of new predicate symbols $$Q_i$$ Q i, given by a set $$\Phi = \{\phi _i\}$$ Φ = { ϕ i } of defining $$L_P$$ L P -formulas \leftrightarrow \phi _i)$$ ∀ x ¯ ↔ ϕ i ) ); a corresponding translation function$$\tau _{\Phi }: L_Q \rightarrow L_P$$ τ Φ : L Q → L P ; the corresponding definitional image operator$$D_{\Phi }$$ D Φ, applicable to $$L_P$$ L P -structures and $$L_P$$ L P -theories; and the notion of definitional equivalence itself: for structures $$A + d_{\Phi } \equiv B + d_{\Theta }$$ A + d Φ ≡ B + d Θ ; for theories, $$T_1 + d_{\Phi } \equiv T_2 + d_{\Theta }$$ T 1 + d Φ ≡ T 2 + d Θ. Some results relating these notions were given, ending with two characterizations for definitional equivalence. In this second part, we explain the notion of a representation basis. Suppose a set $$\Phi = \{\phi _i\}$$ Φ = { ϕ i } of $$L_P$$ L P -formulas is given, and $$\Theta = \{\theta _i\}$$ Θ = { θ i } is a set of $$L_Q$$ L Q -formulas. Then the original set $$\Phi $$ Φ is called a representation basis for an $$L_P$$ L P -structure A with inverse $$\Theta $$ Θ iff an inverse explicit definition $$\forall \overline{x} \leftrightarrow \theta _i)$$ ∀ x ¯ ↔ θ i ) is true in $$A + d_{\Phi }$$ A + d Φ, for each $$P_i$$ P i. Similarly, the set $$\Phi $$ Φ is called a representation basis for a $$L_P$$ L P -theory T with inverse $$\Theta $$ Θ iff each explicit definition $$\forall \overline{x} \leftrightarrow \theta _i)$$ ∀ x ¯ ↔ θ i ) is provable in $$T + d_{\Phi }$$ T + d Φ. Some results about representation bases, the mappings they induce and their relationship with the notion of definitional equivalence are given. In particular, we show that $$T_1$$ T 1 is definitionally equivalent to $$T_2$$ T 2, with respect to $$\Phi $$ Φ and $$\Theta $$ Θ, if and only if $$\Phi $$ Φ is a representation basis for $$T_1$$ T 1 with inverse $$\Theta $$ Θ and $$T_2 \equiv D_{\Phi }T_1$$ T 2 ≡ D Φ T 1.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bases for Structures and Theories I.Jeffrey Ketland - 2020 - Logica Universalis 14 (3):357-381.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
Power-Like Models of Set Theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Self-adjoint extensions by additive perturbations.Andrea Posilicano - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (1):1-20.
Ad and Patterns of Singular Cardinals Below $\Theta$.Arthur Apter - 1996 - Journal of Symbolic Logic 61 (1):225-235.
An extension of the Cobham-Semënov Theorem.Alexis Bès - 2000 - Journal of Symbolic Logic 65 (1):201-211.
Hörmander systems and harmonic morphisms.Elisabetta Barletta - 2003 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 2 (2):379-394.
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.
The theta effect.F. C. Thorne - 1943 - Journal of Experimental Psychology 32 (6):522.

Analytics

Added to PP
2020-09-22

Downloads
6 (#1,290,331)

6 months
1 (#1,087,801)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Popper’s qualitative theory of verisimilitude.David Miller - 1974 - British Journal for the Philosophy of Science 25 (2):166-177.
The accuracy of predictions.David Miller - 1975 - Synthese 30 (1-2):159 - 191.
The distance between constituents.David Miller - 1978 - Synthese 38 (2):197 - 212.
Bases for Structures and Theories I.Jeffrey Ketland - 2020 - Logica Universalis 14 (3):357-381.

Add more references