Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory

From MaRDI portal
Publication:1156124
Jump to:navigation, search

DOI10.1007/BF01668997zbMath0468.03016OpenAlexW2000197798MaRDI QIDQ1156124

Mikhaĭl G. Peretyat'kin

Publication date: 1981

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187098


zbMATH Keywords

formal deductionsomega-one-categorical complete finitely axiomatizable theory


Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)


Related Items (3)

IN MEMORIAM: MICHAEL MORLEY, 1930–2020 ⋮ The uniqueness of envelopes in ℵ0-categorical, ℵ0-stable structures ⋮ A.D. Taimanov and model theory in Kazakhstan




Cites Work

  • One hundred and two problems in mathematical logic
  • Categoricity in Power




This page was built for publication: Example of an \(omega_ 1-\)categorical complete finitely axiomatizable theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1156124&oldid=13219615"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 31 January 2024, at 04:37.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki