S. S. Goncharov, “Constructive models of $\aleph_1$-categorical theories”, Mat. Zametki, 23:6 (1978), 885–888; Math. Notes, 23:6 (1978), 486

Loading [MathJax]/jax/output/CommonHTML/jax.js

Matematicheskie Zametki

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Forthcoming papers
	Archive
	Impact factor
	Guidelines for authors
	License agreement
	Submit a manuscript

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Mat. Zametki:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Matematicheskie Zametki, 1978, Volume 23, Issue 6, Pages 885–888 (Mi mzm8189)

This article is cited in 12 scientific papers (total in 12 papers)

Constructive models of

$\aleph_1$ -categorical theories

S. S. Goncharov

Institute of Mathematics, Siberian Branch of USSR Academy of Sciences

Full-text PDF (331 kB) Citations (12)

Abstract: An example of an

$\aleph_1$ -categorical, but not

$\aleph_0$ -categorical, theory, for which only a prime model is constructible, is constructed.

Received: 20.05.1976

English version:
Mathematical Notes, 1978, Volume 23, Issue 6, Pages 486–487
DOI: https://doi.org/10.1007/BF01431432

Bibliographic databases:

UDC: 517.1

Language: Russian

Citation: S. S. Goncharov, “Constructive models of

$\aleph_1$ -categorical theories”, Mat. Zametki, 23:6 (1978), 885–888; Math. Notes, 23:6 (1978), 486–487

Citation in format AMSBIB

\Bibitem{Gon78}

\by S.~S.~Goncharov

\paper Constructive models of $\aleph_1$-categorical theories

\jour Mat. Zametki

\yr 1978

\vol 23

\issue 6

\pages 885--888

\mathnet{http://mi.mathnet.ru/mzm8189}

\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=502056}

\zmath{https://zbmath.org/?q=an:0403.03025|0385.03025}

\transl

\jour Math. Notes

\yr 1978

\vol 23

\issue 6

\pages 486--487

\crossref{https://doi.org/10.1007/BF01431432}

Linking options:

https://www.mathnet.ru/eng/mzm8189

https://www.mathnet.ru/eng/mzm/v23/i6/p885

This publication is cited in the following 12 articles:

Ekaterina B. Fokina, Valentina Harizanov, Alexander Melnikov, Turing's Legacy, 2014, 124
Michael Rathjen, “2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10”, Bull. symb. log, 17:2 (2011), 272
S. S. Goncharov, “Algoritmicheskaya slozhnost schetnykh modelei silno minimalnykh teorii”, Vestn. NGU. Ser. matem., mekh., inform., 8:2 (2008), 38–53
Helmut Schwichtenberg, “2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06”, Bull. symb. log., 13:2 (2007), 251
Sergei S. Goncharov, International Mathematical Series, 5, Mathematical Problems from Applied Logic II, 2007, 99
E. B. Fokina, “O spektrakh vychislimykh modelei”, Vestn. NGU. Ser. matem., mekh., inform., 6:4 (2006), 93–97
Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin, “An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated”, Notre Dame J. Formal Logic, 47:1 (2006)
E. B. Fokina, “O slozhnosti kategorichnykh teorii s vychislimymi modelyami”, Vestn. NGU. Ser. matem., mekh., inform., 5:2 (2005), 77–85
S. S. Goncharov, B. Khoussainov, “Complexity of Categorical Theories with Computable Models”, Algebra and Logic, 43:6 (2004), 365–373
Valentina S. Harizanov, “Computability-Theoretic Complexity of Countable Structures”, Bull. symb. log., 8:4 (2002), 457
Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, vii
Valentina S. Harizanov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 3

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	332
Full-text PDF :	172
First page:	2

Registration to the website

Logotypes