The following pages link to Christine Gaßner (Q215892):
Displaying 16 items.
- A hierarchy below the halting problem for additive machines (Q1015375) (← links)
- On NP-completeness for linear machines (Q1368835) (← links)
- Strong Turing degrees for additive BSS RAM's (Q2871478) (← links)
- Relativizations of the P =? DNP question for the BSS model (Q2917327) (← links)
- (Q3075215) (← links)
- (Q3639061) (← links)
- The Axiom of Choice in Second‐Order Predicate Logic (Q4315328) (← links)
- Computation over algebraic structures and a classification of undecidable problems (Q4593236) (← links)
- On Relativizations of the P =? NP Question for Several Structures (Q4918006) (← links)
- (Q5004970) (← links)
- The P-DNP problem for infinite Abelian groups (Q5949384) (← links)
- AC and the Independence of WO in Second-Order Henkin Logic, Part I (Q6744677) (← links)
- AC and the Independence of WO in Second-Order Henkin Logic, Part II (Q6744873) (← links)
- Relationships between Principles of Choice in Second-Order Henkin Structures (Q6745205) (← links)
- Permutation Models of Second Order (Q6745454) (← links)
- AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic (Q6751261) (← links)
