Linear sampling and the |forall |exists |forall case of the decision problem
Journal of Symbolic Logic 39 (3):519 - 548 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlexandra Shlapentokh (2002). On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic. Journal of Symbolic Logic 67 (2):759-786.
Gerard R. Renardel De Lavalette (1984). Descriptions in Mathematical Logic. Studia Logica 43 (3):281 - 294.
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Jiří Witzany (1995). Possible Behaviours of the Reflection Ordering of Stationary Sets. Journal of Symbolic Logic 60 (2):534-547.
Matthew McKeon (2006). Forall X. Teaching Philosophy 29 (4):387-390.
Rami Grossberg & Saharon Shelah (1986). On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property. Part A. Journal of Symbolic Logic 51 (2):302-322.
Kh M. Rukhaia (1978). A Duality Theorem. Studia Logica 37 (2):157 - 159.
Dorella Bell� & Franco Parlamento (2001). The Decidability of the $ \Forall^*\Exists$ Class and the Axiom of Foundation. Notre Dame Journal of Formal Logic 42 (1):41-53.
Rineke Verbrugge & Albert Visser (1994). A Small Reflection Principle for Bounded Arithmetic. Journal of Symbolic Logic 59 (3):785-812.
Jaap Van Oosten (1991). Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. Journal of Symbolic Logic 56 (3):964 - 973.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads4 ( #180,404 of 556,808 )Recent downloads (6 months)1 ( #64,847 of 556,808 )How can I increase my downloads? |
My notes
Discussion
