×

Found 20 Documents (Results 1–20)

Index sets of constructive models of finite and graph signatures that are autostable relative to strong constructivizations. (English. Russian original) Zbl 1375.03037

Algebra Logic 54, No. 6, 428-439 (2016); translation from Algebra Logika 54, No. 6, 663-679 (2015).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Index sets of autostable relative to strong constructivizations constructive models for familiar classes. (English. Russian original) Zbl 1382.03060

Dokl. Math. 92, No. 2, 525-527 (2015); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 464, No. 1, 12-14 (2015).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036

Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015).
MSC:  03C57 03C35 03D45
PDFBibTeX XMLCite
Full Text: DOI

Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations. (English. Russian original) Zbl 1347.03069

Algebra Logic 54, No. 2, 108-126 (2015); translation from Algebra Logika 54, No. 2, 163-192 (2015).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Index sets of constructive models that are autostable under strong constructivizations. (Russian, English) Zbl 1349.03037

Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 4, 43-67 (2013); translation in J. Math. Sci., New York 205, No. 3, 368-388 (2015).
MSC:  03C57 03D45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field