Studia Logica 55 (1):33 - 61 (1995)
We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with constructive logic where algorithmic properties are essential.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
Saturated Models of Universal Theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Similar books and articles
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Hyperalgebraic Primitive Elements for Relational Algebraic and Topological Algebraic Models.Matt Insall - 1996 - Studia Logica 57 (2-3):409 - 418.
Extending Standard Models of ZFC to Models of Nonstandard Set Theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Algebraic Logic for Classical Conjunction and Disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.
Algebraic Logic for Classical Conjunction and Disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown
Added to index2009-01-28
Total downloads14 ( #326,278 of 2,151,957 )
Recent downloads (6 months)2 ( #281,207 of 2,151,957 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.