THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (Q4799377): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Some properties of the constructivization of Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Boolean algebra of logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly constructive models and numerations of the Boolean algebra of recursive sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sentences true in all constructive models / rank
 
Normal rank

Latest revision as of 14:08, 5 June 2024

scientific article; zbMATH DE number 1886335
Language Label Description Also known as
English
THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS
scientific article; zbMATH DE number 1886335

    Statements

    THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (English)
    0 references
    0 references
    0 references
    15 May 2003
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Turing machines
    0 references
    Boolean algebras
    0 references
    Lindenbaum algebras
    0 references
    finitely axiomatizable theories
    0 references
    finite models
    0 references