Abstract logic
In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.
Wikipage disambiguates
primaryTopic
Abstract logic
In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.
has abstract
In de wiskundige logica is een ...... n het Löwenheim-getal ω heeft.
@nl
In mathematical logic, an abst ...... ct and has Löwenheim number ω.
@en
Wikipage page ID
28,877,379
Wikipage revision ID
546,009,594
subject
hypernym
comment
In de wiskundige logica is een ...... n het Löwenheim-getal ω heeft.
@nl
In mathematical logic, an abst ...... ct and has Löwenheim number ω.
@en
label
Abstract logic
@en
Abstracte logica
@nl