Pages that link to "Item:Q4779635"
From MaRDI portal
The following pages link to Some Aspects of Model Theory and Finite Structures (Q4779635):
Displaying 24 items.
- Combinations related to classes of finite and countably categorical structures and their theories (Q515212) (← links)
- Finite-model theory -- A personal perspective (Q688663) (← links)
- Finite model theory and its applications. (Q703863) (← links)
- Approximations of theories (Q779114) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem (Q2133477) (← links)
- Algebras defined by equations (Q2174535) (← links)
- Ranks for families of permutation theories (Q2272889) (← links)
- Ranks for families of theories of abelian groups (Q2272891) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- The theory of finite models without equal sign (Q2508610) (← links)
- Properties of ranks for families of strongly minimal theories (Q2667899) (← links)
- Pseudofinite formulae (Q2700059) (← links)
- (Q3762296) (← links)
- (Q4255575) (← links)
- Finite and infinite model theory - a historical perspective (Q4511540) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- Finite sets and frege structures (Q4948525) (← links)
- (Q5091133) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- (Q5477350) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)
- (Q5693583) (← links)
- A general condition for collapse results (Q5957919) (← links)
