|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Tommaso Flaminio |
Strong non-standard completeness for fuzzy logics. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Non-standard completeness, Ultraproduct construction, Fuzzy events, Conditional probability |
37 | Will Boney |
The Γ-ultraproduct and Averageable Classes. |
FLAP |
2020 |
DBLP BibTeX RDF |
|
37 | Cyril Houdayer, Yusuke Isono |
Free independence in ultraproduct von Neumann algebras and applications. |
J. Lond. Math. Soc. |
2015 |
DBLP DOI BibTeX RDF |
|
37 | Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao |
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. |
LORI |
2015 |
DBLP DOI BibTeX RDF |
|
37 | Mingsheng Ying |
The Fundamental Theorem of Ultraproduct in Pavelka's Logic. |
Math. Log. Q. |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Saharon Shelah |
On the Cardinality of Ultraproduct of Finite Sets. |
J. Symb. Log. |
1970 |
DBLP DOI BibTeX RDF |
|
31 | Annika M. Wille |
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Lattice-ordered monoid, cancellative monoid, ultraproduct, variety |
31 | Paul Bankston |
Some Applications of the Ultrapower Theorem to the Theory of Compacta. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
ultraproduct, ultracoproduct, compactum, co-elementary map, co-existential map, continuum |
30 | Marc Aiguier, Fabrice Barbier |
An Institution-independent Proof of the Beth Definability Theorem. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Beth definability, morphisms and comorphisms, inclusive category, institution theory, Craig interpolation |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|