Pages that link to "Item:Q5326382"

The following pages link to The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models (Q5326382):

Displaying 2 items.

• A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic (Q266237) (← links)
• The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)