About: We introduce two essentially undecidable first-order theories [Formula: see text] and [Formula: see text]. The intended model for the theories is a term model. We prove that [Formula: see text] is mutually interpretable with Robinson’s [Formula: see text]. Moreover, we prove that Robinson’s [Formula: see text] is interpretable in [Formula: see text].   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
value
  • We introduce two essentially undecidable first-order theories [Formula: see text] and [Formula: see text]. The intended model for the theories is a term model. We prove that [Formula: see text] is mutually interpretable with Robinson’s [Formula: see text]. Moreover, we prove that Robinson’s [Formula: see text] is interpretable in [Formula: see text].
Subject
  • Interpretation
  • Model theory
  • Concepts in logic
  • Philosophy of language
  • Mathematical logic
  • Formal languages
  • Metalogic
  • Semantics
  • Philosophy of mind
  • Systems of formal logic
  • Interpretation (philosophy)
  • Proof theory
  • Predicate logic
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software