Search results for "ultrafilter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Paulo A. S. Veloso, Sheila R. M. Veloso	On Ultrafilter Logic and Special Functions.	Stud Logica	2004	DBLP DOI BibTeX RDF	Logics for vague notions, ultrafilter logic, coherent functions, proof procedures, interpretation, generic functions, generalized quantifiers
72	Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson	Ultrafilter Extensions for Coalgebras.	CALCO	2005	DBLP DOI BibTeX RDF
66	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
56	Nikolai L. Poliakov, Denis I. Saveliev	On ultrafilter extensions of first-order models and ultrafilter interpretations.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
53	Maria Manuel Clementino, Dirk Hofmann	Topological Features of Lax Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
44	Ilijas Farah	Approximate Homomorphisms.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D99, 28A35, 28A60, 06E30
31	Richard N. Ball, Ales Pultr, Jirí Sichler	Configurations in Coproducts of Priestley Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Priestley space, ultrafilter, coproduct, distributive lattice
28	Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova	Maximal Towers and Ultrafilter Bases in Computability Theory.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
28	Takaaki Fujita	Reconsideration of Tangle and Ultrafilter using Separation and Partition.	CoRR	2023	DBLP DOI BibTeX RDF
28	Takaaki Fujita	Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system.	CoRR	2023	DBLP DOI BibTeX RDF
28	Jonathan Schilhan	Coanalytic ultrafilter bases.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
28	Jonathan Cancino, Osvaldo Guzmán González, Arnold W. Miller	Ideal Independent families and the Ultrafilter number.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
28	Takaaki Fujita, Koichi Yamazaki	Tangle and Ultrafilter: Game Theoretical Interpretation.	Graphs Comb.	2020	DBLP DOI BibTeX RDF
28	Dilip Raghavan, Saharon Shelah	A small ultrafilter number at smaller cardinals.	Arch. Math. Log.	2020	DBLP DOI BibTeX RDF
28	Denis I. Saveliev, Saharon Shelah	Ultrafilter extensions do not preserve elementary equivalence.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
28	Jie Fan	A road to ultrafilter extensions.	CoRR	2018	DBLP BibTeX RDF
28	Jie Fan 0001	A Road to Ultrafilter Extensions.	CLAR	2018	DBLP DOI BibTeX RDF
28	Nikolai L. Poliakov, Denis I. Saveliev	On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations.	WoLLIC	2017	DBLP DOI BibTeX RDF
28	Paolo Lipparini	Ultrafilter Convergence in Ordered Topological Spaces.	Order	2016	DBLP DOI BibTeX RDF
28	W. Hugh Woodin	The Weak Ultrafilter Axiom.	Arch. Math. Log.	2016	DBLP DOI BibTeX RDF
28	Denis I. Saveliev	Ultrafilter Extensions of Linearly Ordered Sets.	Order	2015	DBLP DOI BibTeX RDF
28	Timothy Trujillo	Ramsey for R1 ultrafilter mappings and their Dedekind cuts.	Math. Log. Q.	2015	DBLP DOI BibTeX RDF
28	Siméon Fotso, Louis Aimé Fono	Arrow-type results under fuzzy preferences based on filter and ultrafilter.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
28	Susumu Cato	Quasi-decisiveness, quasi-ultrafilter, and social quasi-orderings.	Soc. Choice Welf.	2013	DBLP DOI BibTeX RDF
28	Surabhi Tiwari	Ultrafilter Completeness in $${{\varepsilon}}$$ -approach Nearness Spaces.	Math. Comput. Sci.	2013	DBLP DOI BibTeX RDF
28	Henry Towsner	Hindman's theorem: an ultrafilter argument in second order arithmetic.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
28	Denis I. Saveliev	Ultrafilter Extensions of Models.	ICLA	2011	DBLP DOI BibTeX RDF
28	Gonçalo Gutierres	The Ultrafilter Closure in ZF.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
28	Petrus H. Potgieter, Elemér E. Rosinger	Ultrafilter and Non-standard Turing Machines.	UC	2008	DBLP DOI BibTeX RDF
28	José G. Mijares	A notion of selective ultrafilter corresponding to topological Ramsey spaces.	Math. Log. Q.	2007	DBLP DOI BibTeX RDF
28	Luc Lauwers	Topological manipulators form an ultrafilter.	Soc. Choice Welf.	2004	DBLP DOI BibTeX RDF
28	André Fuhrmann	Some Remarks on Ultrafilter and Normality Logics.	Stud Logica	2003	DBLP DOI BibTeX RDF
28	Walter Alexandre Carnielli, Paulo A. S. Veloso	Ultrafilter Logic and Generic Reasoning.	Kurt Gödel Colloquium	1997	DBLP DOI BibTeX RDF
28	Paolo Lipparini	Ultrafilter translations - I. (λ, λ)-compactness of logics with a cardinality quantifier.	Arch. Math. Log.	1996	DBLP DOI BibTeX RDF
28	Saharon Shelah	There May Be No Nowhere Dense Ultrafilter.	Logic Colloquium	1995	DBLP DOI BibTeX RDF
28	James J. Moloney	An Existence Theorem for a Special Ultrafilter when d = c.	J. Symb. Log.	1993	DBLP DOI BibTeX RDF
28	Yehuda Rav	Lattice Theoretical Equivalences of the Ultrafilter Principle.	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
28	Johan van Benthem	Canonical Modal Logics and Ultrafilter Extensions.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
28	D. A. Martin, William John Mitchell	On the Ultrafilter of Closed, Unbounded Sets.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
22	Gonçalo Gutierres, Dirk Hofmann	Axioms for Sequential Convergence.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54D55, 54A20, 18C15, 54B30
22	Michael Hrusák, Manuel Sanchis, Á. Tamariz-Mascarúa	Ultrafilters, monotone functions and pseudocompactness.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Rudin-Keisler pre-order, Rudin-Blass pre-order, M-pseudocompactness, Semi-P-points, Rapid filters, P-points, Q-points, Selective ultrafilters
22	Yde Venema	A Dual Characterization of Subdirectly Irreducible BAOs.	Stud Logica	2004	DBLP DOI BibTeX RDF	Boolean algebras with operators, subdirect irreducibility, duality
22	Saharon Shelah	On ultraproducts of Boolean algebras and irr.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
22	Michael S. Roddy	On an Example of Rutkowski and Schröder.	Order	2002	DBLP DOI BibTeX RDF	fixed point property, product, retract
22	Marcel Erné	Prime Ideal Theory for General Algebras.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closure system, cm-lattice, semiprime, locale, distributive, residuated, ideal, prime, quantale, radical