Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Some connections between finite and infinite model theory

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

zbMATH Open1241.03036MaRDI QIDQ3172383FDOQ3172383


Authors: Vera Koponen Edit this on Wikidata


Publication date: 5 October 2011





Recommendations

  • Finite and infinite model theory - a historical perspective
  • Elementary approximation theory
  • Finite-model theory -- A personal perspective
  • scientific article; zbMATH DE number 803291
  • scientific article; zbMATH DE number 1302669


zbMATH Keywords

finite modelsfinite variable logicamalgamation classessmoothly approximable structures


Mathematics Subject Classification ID

Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07)



Cited In (10)

  • There is no recursive link between the \(k\)-size of a model and its cardinality
  • Title not available (Why is that?)
  • Amalgamation properties and finite models in \(L^n\)-theories
  • A general condition for collapse results
  • A few remarks on n-infinite forcing companions
  • Title not available (Why is that?)
  • Lectures on Infinitary Model Theory
  • Theories with finitely many models
  • Some Aspects of Model Theory and Finite Structures
  • Elementary approximation theory





This page was built for publication: Some connections between finite and infinite model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172383)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3172383&oldid=16318682"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 21:59. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki