Portal de Periódicos da CAPES

Pseudo-finite model theory

2003; Sociedade Brasileira de Matemática; Volume: 24; Issue: 8 Linguagem: Inglês

10.21711/231766362003/rmc248

2317-6636

Jouko Väänánen,

Logic, Reasoning, and Knowledge

We consider the restriction of first‐order logic to models, called pseudo‐ finite, with the property that every first‐order sentence true in the model is true in a finite model. We argue that this is a good framework for study