Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

Name: Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures
Creator: Morozov, A. S.
Keywords: countable consistent theory, semigroup of continuous functions, infinitedimensional separable Hilbert space, Computable structure theory, computable model theory, existentially Steinitz structure, 0102 computer and information sciences, hereditarily finite superstructure, nonstandard analysis, 0101 mathematics, 16. Peace & justice

Morozov, A. S.

Found an issue? Give us feedback

Algebra and Logicarrow_drop_down

Algebra and Logic

Article . 2018 . Peer-reviewed

License: Springer TDM

Data sources: Crossref

zbMATH Open

Article . 2018

Data sources: zbMATH Open

Algebra i logika

Article . 2018

Data sources: mEDRA

https://dx.doi.org/10.1007/s10...

Article

Data sources: Microsoft Academic Graph

Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

Nonpresentability of some structures of analysis in hereditarily finite superstructures

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 2018 English Publisher:Springer Science and Business Media LLCJournal:Algebra and Logic, volume 56, pages 458-472 (issn: 0002-5232, eissn: 1573-8302,

Copyright policy )

Authors: Morozov, A. S.;

doi: 10.1007/s10469-018-9468-7 , 10.17377/alglog.2017.56.604

Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

- Summary
- Subjects
- Related research
  (9)
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Organizations

Novosibirsk State University
Russian Federation
Sobolev Institute of Mathematics
Russian Federation

Keywords

countable consistent theory, semigroup of continuous functions, infinitedimensional separable Hilbert space, Computable structure theory, computable model theory, existentially Steinitz structure, hereditarily finite superstructure, nonstandard analysis, Theory of numerations, effectively presented structures, $\Sigma$-presentability

9 Research products, page 1 of 1

On tree coalgebras and coalgebra presentations
2004IsAmongTopNSimilarDocuments
PORTFOLIO RHO-PRESENTATIVITY
2017IsAmongTopNSimilarDocuments
A Sufficient Condition for Nonpresentability of Structures in Hereditarily Finite Superstructures
2016IsAmongTopNSimilarDocuments
Computational complexity of inner and outerj-radii of polytopes in finite-dimensional normed spaces
1993IsAmongTopNSimilarDocuments
Nonpresentability of the semigroup ω ω over ℍ $\mathbb{F}$ (ℝ)
2014IsAmongTopNSimilarDocuments
Coherence relative to a weak torsion class
2018IsAmongTopNSimilarDocuments
Some presentations of the real number field
2012IsAmongTopNSimilarDocuments
Locally α-presentable and locally α-generated categories
1971IsAmongTopNSimilarDocuments
Strongly $(\mathcal {T},n)$-coherent rings, $(\mathcal {T},n)$-semihereditary rings and $(\mathcal {T},n)$-regular rings
2020IsAmongTopNSimilarDocuments

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	5
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average