Search results

prove that isomorphic structures satisfy the same theory

challenging

Status: Open.

#79 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Mar 12, 2021

Add docstrings for instances defined on theories

documentationImprovements or additions to documentationImprovements or additions to documentation

good first issueGood for newcomersGood for newcomers

Status: Open.

#78 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Mar 12, 2021

Prove that a full theory is isomorphism invariant

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Mar 12, 2021

add statement and proof of lemma <code>eq_full_theory_iff_elementary_equivalent</code>

good first issueGood for newcomersGood for newcomers

Status: Open.

#76 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Mar 12, 2021

add definition for <code>full_theory</code>

good first issueGood for newcomersGood for newcomers

Status: Open.

#75 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Mar 12, 2021

Define equivalence of formulas

good first issueGood for newcomersGood for newcomers

Status: Open.

#42 In vaibhavkarve/igl2020;

· eionblanc opened on Nov 17, 2020

Prove theory of DLO has quantifier elimination

challenging

enhancementNew feature or requestNew feature or request

Status: Open.

#41 In vaibhavkarve/igl2020;

· eionblanc opened on Nov 17, 2020

Prove lemma <code>models_formula_all_or_none_sentences</code>

action-needed

challenging

Status: Open.

#36 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Nov 11, 2020

Prove lemma <code>iff_models_formula_relation_of_identical_var_assign</code>

challenging

enhancementNew feature or requestNew feature or request

Status: Open.

#35 In vaibhavkarve/igl2020;

· vaibhavkarve opened on Nov 11, 2020

First-order logical statements for o-minimality

challenging

enhancementNew feature or requestNew feature or request

Status: Open.

#15 In vaibhavkarve/igl2020;

· sharma65 opened on Oct 14, 2020