The following pages link to Bernd I. Dahn (Q1142204):
Displaying 36 items.
- Constructions of classical models by means of Kripke models (Survey) (Q1142205) (← links)
- Partial isomorphisms and intuitionistic logic (Q1170233) (← links)
- On models with variable universe (Q1217703) (← links)
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- Universally generic finitely generated ordered Abelian groups (Q1337576) (← links)
- Notes on exponential-logarithmic terms (Q3028993) (← links)
- ORDERED FIELDS WITH SEVERAL EXPONENTIAL FUNCTIONS (Q3043122) (← links)
- (Q3203009) (← links)
- ON THE THEORY OF EXPONENTIAL FIELDS (Q3312207) (← links)
- (Q3472085) (← links)
- (Q3472086) (← links)
- (Q3490957) (← links)
- (Q3663269) (← links)
- (Q3677752) (← links)
- (Q3688379) (← links)
- The limit behaviour of exponential terms (Q3703877) (← links)
- (Q3726226) (← links)
- Fine Structure of the Integral Exponential Functions Below 2 2 x (Q3735695) (← links)
- (Q3773856) (← links)
- (Q3803096) (← links)
- First Order Logics for Metric Structures (Q3870880) (← links)
- Boolean valued models and incomplete specifications (Q3992230) (← links)
- (Q4044551) (← links)
- Contributions to the Model Theory for Non-Classical Logics (Q4063439) (← links)
- (Q4106161) (← links)
- (Q4106191) (← links)
- (Q4268490) (← links)
- (Q4385443) (← links)
- (Q4404876) (← links)
- (Q4486227) (← links)
- (Q4740011) (← links)
- (Q4767295) (← links)
- (Q4858948) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- (Q5672626) (← links)
- $ℵ_0$-kategorische zyklenbeschränkte Graphen (Q5686032) (← links)
