Pages that link to "Item:Q3843616"

The following pages link to Sentences true in all constructive models (Q3843616):

Displaying 15 items.

• On the possibility of inference to the best explanation (Q427229) (← links)
• The theory of the \(\alpha \) degrees is undecidable (Q607833) (← links)
• Finite-model theory -- A personal perspective (Q688663) (← links)
• The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
• A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
• The logical study of science (Q1164615) (← links)
• Finitely representable databases (Q1376408) (← links)
• Über rekursive Strukturen (Q1844830) (← links)
• Computable presentability of countable linear orders (Q2036473) (← links)
• Succinct definitions in the first order theory of graphs (Q2368907) (← links)
• A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)
• Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
• THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (Q4799377) (← links)
• MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)