Kernels, truth and satisfaction

DOI10.4064/BA8176-1-2019zbMath1439.03112arXiv1807.11832OpenAlexW2963087900WikidataQ128287995 ScholiaQ128287995MaRDI QIDQ5382835

James H. Schmerl

Publication date: 18 June 2019

Published in: Bulletin of the Polish Academy of Sciences Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.11832

zbMATH Keywords

kernelsdirected graphsPeano arithmeticsatisfaction classesnon-standard models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Directed graphs (digraphs), tournaments (05C20) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (1)

Full satisfaction classes, definability, and automorphisms

Cites Work

• Unnamed Item
• Construction of Satisfaction Classes for Nonstandard Models
• An introduction to recursively saturated and resplendent models
• Digraphs

This page was built for publication: Kernels, truth and satisfaction