Síla (matematická logika) - Strength (mathematical logic)

Příbuzný síla dvou systémů formální logika lze definovat pomocí teorie modelů. Konkrétně logika ${ displaystyle alpha}$ je prý tak silný jako logika ${ displaystyle beta}$ pokud každý základní třída v ${ displaystyle beta}$ je základní třída v ${ displaystyle alpha}$ .^[1]

Viz také

Reference

^ Heinz-Dieter Ebbinghaus Rozšířená logika: obecný rámec v K. J. Barwise a S. Feferman, redaktoři, Modelově teoretická logika, 1985 ISBN 0-387-90936-2 strana 43

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Heinz-Dieter Ebbinghaus Rozšířená logika: obecný rámec v K. J. Barwise a S. Feferman, redaktoři, Modelově teoretická logika, 1985 ISBN 0-387-90936-2 strana 43

[1]