Search the repository
A+ | A- | | SLO | ENG

Query:	search in
	search in
	search in
	search in
Work type:	* old and bologna study programme
Language:
Search in:
Options:	Show only hits with full text
	Reset

11 - 19 / 19

11.

Keywords: hyperfield, valued field, model theory, quantifier elimination, valuation, subhyperfield
Published in RUNG: 10.10.2022; Views: 1044; Downloads: 0
This document has many files! More...

12.

Keywords: model theory, quantifier elimination, valued field, hyperfield
Published in RUNG: 10.10.2022; Views: 1066; Downloads: 0
This document has many files! More...

13.

Keywords: quantifier elimination, model theory, valued field, hyperfield
Published in RUNG: 10.10.2022; Views: 971; Downloads: 0
This document has many files! More...

14.

Keywords: hyperfield, valued field, model theory, quantifier elimination
Published in RUNG: 07.10.2022; Views: 1162; Downloads: 0
This document has many files! More...

15.

Keywords: hyperfield, valued field, model theory, quantifier elimination
Published in RUNG: 07.10.2022; Views: 1123; Downloads: 0
This document has many files! More...

16.

Keywords: ball space, fixed point theorem, metric space, Caristi-Kirk, Oettli-Thera
Published in RUNG: 07.10.2022; Views: 899; Downloads: 0
This document has many files! More...

17.

Keywords: quantifier elimination, model theory, valued field
Published in RUNG: 07.10.2022; Views: 1179; Downloads: 5
Link to full text
This document has many files! More...

18.

Keywords: hyperfields, hyperring, ordering, valuation
Published in RUNG: 28.09.2022; Views: 1137; Downloads: 0
This document has many files! More...

19.

Keywords: Metric space, ball space, Christi-Kirk fixed point theorem, Ekeland's variational principle, Oettli-Théra theorem, Takahashi's theorem, flower petal theorem
Published in RUNG: 26.09.2022; Views: 956; Downloads: 0
This document has many files! More...

Search done in 0.05 sec.