Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
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