Found 32 Documents (Results 1–32)
On the admissible sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models. (English) Zbl 1256.03049
Sib. Math. J. 52, No. 6, 951-968 (2011); translation from Sib. Mat. Zh. 52, No. 6, 1199-1220 (2011).
Reviewer: Vadim Puzarenko (Novosibirsk)
Some criteria of decidability for axiomatic systems in three-valued logic. (English) Zbl 1226.03035
ten Cate, Balder D. (ed.) et al., Logic, language, and computation. 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12–16, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75143-4/pbk). Lecture Notes in Computer Science 4363. Lecture Notes in Artificial Intelligence, 247-259 (2007).
Bounding homogeneous models. (English) Zbl 1116.03027
Bounding prime models. (English) Zbl 1071.03021
MSC:
03C57
Decidability of first-order theories for groups and monoids of integral matrices. (English. Russian original) Zbl 0956.03005
Algebra Logika 39, No. 4, 480-504 (2000); translation in Algebra Logic 39, No. 4, 276-291 (2000).
Reviewer: A.N.Ryaskin (Novosibirsk)
Nonsingular Hasse principle for rings. (English) Zbl 0959.03021
Reviewer: L.Darnière (Angers)
Finite bases of admissible rules for the logic \(S 5_ 2 C\). (English) Zbl 0887.03013
Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 119-129 (1997).
MSC:
03B45
First steps in synthetic domain theory. (English) Zbl 0747.18004
Category theory, Proc. Int. Conf., Como/Italy 1990, Lect. Notes Math. 1488, 131-156 (1991).
Reviewer: K.I.Rosenthal (Schenectady)
Topology and computation. (Spanish) Zbl 1297.55003
Martin-Peinador, Elena (ed.) et al., Contribuciones matemáticas en homenaje al profesor D. Antonio Plans Sanz de Bremond. Zaragoza: Secretariado de Publicaciones, Universidad de Zaragoza (ISBN 84-7733-158-8/pbk). 61-82 (1990).
Complexity-theoretic algebra. II: Boolean algebras. (English) Zbl 0703.03023
Reviewer: U.Schöning
Prime models and almost decidability. (English) Zbl 0623.03011
Reviewer: J.M.Plotkin
Bad models in nice neighborhoods. (English) Zbl 0623.03010
Reviewer: J.M.Plotkin
Transfer principles for monically closed valued regular rings. (English) Zbl 0587.13013
Reviewer: J.Monk
The elementary theory of lattices of subfields of finite fields. (Russian) Zbl 0617.06004
Some questions of algebraic number theory and of constructive models, Thematic Collect. sci. Works, Alma-Ata 1985, 71-80 (1985).
Reviewer: J.Močkoř
Metric approximations in ordered domains. (English) Zbl 0578.03019
Algebraic methods in semantics, Semin. Fontainebleau/France 1982, 251-275 (1985).
Reviewer: J.Zlatuska
Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups. (English. Russian original) Zbl 0592.03019
Algebra Logic 23, 220-233 (1984); translation from Algebra Logika 23, No. 3, 319-335 (1984).
Constructivizability of a prime model. (English. Russian original) Zbl 0586.03024
Sib. Math. J. 25, 584-588 (1984); translation from Sib. Mat. Zh. 25, No. 4(146), 93-98 (1984).
On some classes of Hilbertian fields. (English) Zbl 0547.12016
Reviewer: P.Roquette
On decision problems for forbidden structures. (English) Zbl 0559.05051
Graphtheoretic concepts in computer science, Proc. int. Workshop, Osnabrück 1983, 370-380 (1983).
Reviewer: T.R.Walsh
A complete logic for reasoning about programs via nonstandard model theory. I. (English) Zbl 0475.68009
A note on decidable model theory. (English) Zbl 0474.03020
Model theory and arithmetic, Proceedings, Paris 1979/80, Lect. Notes Math. 890, 134-142 (1981).
A theory with two strongly constructivizable models. (English. Russian original) Zbl 0448.03028
Algebra Logic 18, 111-117 (1979); translation from Algebra Logika 18, 176-185 (1979).
Filter Results by …
Document Type
- Journal Articles (24)
- Collection Articles (8)
all
top 5
Author
- Millar, Terrence S. (4)
- Csima, Barbara F. (3)
- Hirschfeldt, Denis Roman (3)
- Soare, Robert I. (3)
- Basarab, Serban A. (2)
- Harizanov, Valentina S. (2)
- Kudaĭbergenov, Kanat Zhanzakovich (2)
- Remmel, Jeffrey Brian (2)
- Andréka, Hajnal (1)
- Avdeev, R. R. (1)
- Clote, Peter G. (1)
- Comyn, Gerard (1)
- Darnière, Luck (1)
- Dauchet, Max (1)
- Domínguez, César (1)
- Epstein, Rachel (1)
- Golovanov, Mikhail I. (1)
- Goncharov, Sergeĭ Savost’yanovich (1)
- Hyland, J. Martin E. (1)
- Khisamiev, Nazif Garrifullinovich (1)
- Knight, Julia F. (1)
- Lange, Karen (1)
- Metakides, George (1)
- Millar, Terry (1)
- Miller, Russell G. (1)
- Nagrebetskaya, Yu. V. (1)
- Németi, István (1)
- Nerode, Anil (1)
- Rubio García, Julio Jesús (1)
- Sain, Ildikó (1)
- Sejtenov, S. M. (1)
- Sonenberg, E. A. (1)
- Wankmüller, Frank (1)
- Wiese, Uwe-Jens (1)
- Zaslavskii, Igor Dmitrievich (1)
all
top 5
Serial
- J. Symb. Log. (9)
- Algebra Logic (2)
- Sib. Math. J. (2)
- Arch. Math. Logik Grundlagenforsch. (1)
- Algebra Logika (1)
- Ann. Math. Logic (1)
- J. Reine Angew. Math. (1)
- Notre Dame J. Formal Logic (1)
- Proc. Am. Math. Soc. (1)
- Result. Math. (1)
- Stud. Cercet. Mat. (1)
- Theor. Comput. Sci. (1)
- Ann. Pure Appl. Logic (1)
- Sib. Adv. Math. (1)