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

Nonmaximal decidable structures

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

DOI10.1007/s10958-009-9399-xzbMath1178.03047OpenAlexW2077704773MaRDI QIDQ843596

Alexis Bès, Patrick Cégielski

Publication date: 15 January 2010

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-009-9399-x



Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other classical first-order model theory (03C68)


Related Items (3)

On countable chains having decidable monadic theory ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Decidable Expansions of Labelled Linear Orderings



Cites Work

  • Elements of finite model theory.
  • Weakly maximal decidable structures
  • Computability-Theoretic Complexity of Countable Structures
  • Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
  • Unnamed Item
  • Unnamed Item


This page was built for publication: Nonmaximal decidable structures

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