[in Journal: Parallel Processing Letters] AND [Keyword: Decidability] : Search

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Advanced Search

SEARCH GUIDE

Results: 1 - 1of1

Follow results:

per page:

Sort: Relevance

Context for search term 1Search term 1*

All Dates

LastSelect static range

Custom Range

Select starting monthSelect starting year

Select ending monthSelect ending year

Search name	Searched On	Run search
[in Journal: Parallel Processing Letters] AND [Keyword: Decidability] (1)	27 Mar 2025	Run
Keyword: Filamentation (0)	27 Mar 2025	Run
Keyword: Dutch Radboud (0)	27 Mar 2025	Run
[Keyword: Water Quality] AND [All Books] (10)	27 Mar 2025	Run
[in Journal: Journal of Construction Research] AND [Keyword: Supply Chain] (1)	27 Mar 2025	Run

articleNo Access
DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES
- HAJNAL ANDRÉKA,
- JUDIT MADARÁSZ, and
- ISTVÁN NÉMETI
Parallel Processing Letters08 Jul 2012
Preview Abstract
In this paper we investigate the logical decidability and undecidability properties of relativity theories. If we include into our theory the whole theory of the reals, then relativity theory still can be decidable. However, if we actually assume the structure of the quantities in our models to be the reals, or at least to be Archimedean, then we get possible predictions in the language of relativity theory which are independent of ZF set theory.

1