A formal theory of objects, space and time

1990 ◽  
Vol 55 (1) ◽  
pp. 74-89 ◽  
Author(s):  
Wayne D. Blizard
Keyword(s):  
Formal Theory ◽  
Order Theory ◽  
First Order ◽  
Space And Time ◽  
First Order Theory ◽  
Logical Nature

The two statements “Two different objects cannot occupy the same place at the same time” and “An object cannot be in two different places at the same time” are axioms of our everyday understanding of objects, space and time. We develop a first-order theory OST (Objects, Space and Time) in which formal equivalents of these two statements are taken as axioms. Using the theory OST, we uncover other fundamental principles of objects, space and time. We attempt to understand the logical nature of these principles, to investigate their formal consequences, and to identify logical alternatives to them. For easy reference, all of the nonlogical axioms of OST are listed together at the end of §2. In §3, we introduce two possible extensions of OST.

scholarly journals A first-order theory of Ulm type

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

scholarly journals Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski
Keyword(s):  
Order Theory ◽  
Real Numbers ◽  
First Order ◽  
First Order Theory

The spectrum of resplendency

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin
Keyword(s):  
Homogeneous Model ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Recursive Theory ◽  
Finite Language

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.

Model Theory of Epimorphisms

1974 ◽  
Vol 17 (4) ◽  
pp. 471-477 ◽  
Author(s):  
Paul D. Bacsich
Keyword(s):  
Model Theory ◽  
Order Theory ◽  
First Order ◽  
First Order Theory

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .

Sign in / Sign up

Export Citation Format

Share Document