Explicit algebraic models for constructive and classical theories with non-standard elements
Studia Logica 55 (1):33 - 61 (1995)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
Hannes Leitgeb (2001). Theories of Truth Which Have No Standard Models. Studia Logica 68 (1):69-87.
Matt Insall (1996). Hyperalgebraic Primitive Elements for Relational Algebraic and Topological Algebraic Models. Studia Logica 57 (2-3):409 - 418.
Vladimir Kanovei & Michael Reeken (2000). Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Studia Logica 64 (1):37-59.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,316 of 549,007 )Recent downloads (6 months)1 ( #63,261 of 549,007 )How can I increase my downloads? |
My notes
Discussion
