MathSciNet Relay Station
MathSciNet bibliographic data
MR2275856 03B25 (03E30)
Bellé, D.; Parlamento, F. Truth in $V$ for $\exists^*\forall\forall$-sentences is decidable. J. Symbolic Logic 71 (2006), no. 4, 1200–1222.
For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page

American Mathematical Society American Mathematical Society
201 Charles Street
Providence, RI 02904-6248 USA
© Copyright 2017, American Mathematical Society
Privacy Statement
HTTP/1.1 200 OK Date: Sun, 20 Aug 2017 14:20:30 GMT Server: Apache WWW-Authenticate: Basic realm="MathSciNet Authentication" Set-Cookie: SID=431e90da914e9edffdc45d74a70b99bc; path=/; expires=Sun, 08-Jun-2031 14:20:30 GMT Content-Language: en Vary: Accept-Encoding,User-Agent Content-Encoding: gzip Keep-Alive: timeout=5, max=78 Connection: Keep-Alive Transfer-Encoding: chunked Content-Type: text/html; charset=UTF-8 5b5 Wn7})kG !Y> |6 6ڥlIIV}aCj%Kjd.]C7?\w?_BfrW>?R_Ap=u?BpcOL^VpgEuԤZ{Mms~$З 'qڍV;RXZm&QOA_ާ9}8T73Z88uJҧ s_0JEˌ'RCہ` R^`bQ9jfoW-?lF')g#:dɞ ж> ZE0t4>|eJA_ 01pĴf"owoVo-7^qxys=X;Nơ(4N/ Ibb)0r8!ABI֩r'>˼D̸ƒa-WlGљl$`0L>& ۡqfL靟JK5o4ÝͭE: @v@:p=R˓k | a j" 0