English
Related papers

Related papers: Filters on a countable vector space

200 papers

Vector spaces over finite fields and Anzahl formulas of subspaces were studied by Wan (Geometry of Classical Groups over Finite Fields, Science Press, 2002). As a generalization, we study vector spaces and singular linear spaces over…

Combinatorics · Mathematics 2025-03-28 Jun Guo , Junli Liu , Qiuli Xu

We study problems related to indecomposability of modules over certain local finite dimensional trivial extension algebras. We do this by purely combinatorial methods. We introduce the concepts of graph of cyclic modules, of combinatorial…

Rings and Algebras · Mathematics 2019-10-31 Juan Orendain

We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already,…

Logic · Mathematics 2018-02-06 Dániel T. Soukup , Lajos Soukup

It was recently shown that arbitrary first-order models canonically extend to models (of the same language) consisting of ultrafilters. The main precursor of this construction was the extension of semigroups to semigroups of ultrafilters, a…

Logic · Mathematics 2013-10-18 Denis I. Saveliev

We investigate the most general "phase space" of configurations, consisting of all possible ways of assigning elementary attributes, "energies", to elementary positions, "cells". We discuss how this space possesses structures that can be…

High Energy Physics - Theory · Physics 2009-02-09 Andrea Gregori

A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces…

General Topology · Mathematics 2018-09-19 Alan Dow , Rodrigo Hernández-Gutiérrez

By using a similar pattern of arguments, we show that in three categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at…

Dynamical Systems · Mathematics 2026-03-30 Ethan Akin , Benjamin Weiss

We discuss counting problems linked to finite versions of Cantor's diagonal of infinite tableaux. We extend previous results of [2] by refining an equivalence relation that reduces significantly the exhaustive generation. New enumerative…

Combinatorics · Mathematics 2011-11-29 Srečko Brlek , Jean-Philippe Labbé , Michel Mendès France

The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and…

Combinatorics · Mathematics 2013-11-18 Ryan Schwartz , Jozsef Solymosi

In this paper we consider a problem of searching a space of predictive models for a given training data set. We propose an iterative procedure for deriving a sequence of improving models and a corresponding sequence of sets of non-linear…

Machine Learning · Computer Science 2014-02-18 Michael Tetelman

We discuss the connection between various orders on the class of all the ultrafilters and certain compactness properties of abstract logics and of topological spaces. We present a model theoretical characterization of Comfort order. We…

Logic · Mathematics 2010-05-17 Paolo Lipparini

We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal.…

Logic · Mathematics 2010-12-10 Christoph Weiß

A Gross space is a vector space E of infinite dimension over some field F, which is endowed with a symmetric bilinear form Phi:E^2 -> F and has the property that every infinite dimensional subspace U subseteq E satisfies dim U^perp < dim E.…

Logic · Mathematics 2016-09-06 Saharon Shelah , Otmar Spinas

We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fr\'echet filter.…

Logic · Mathematics 2022-07-18 Ilijas Farah , Saharon Shelah

Let $K$ be a field and let $A$ be a subring of $K$. We consider properties and applications of a compact, Hausdorff topology called the "ultrafilter topology" defined on the space Zar$(K|A)$ of all valuation domains having $K$ as quotient…

Commutative Algebra · Mathematics 2012-02-14 Carmelo A. Finocchiaro , Marco Fontana , K. Alan Loper

We characterize the compactness properties of the product of \lambda\ copies of the space \omega\ with the discrete topology, dealing in particular with the case \lambda\ singular, using regular and uniform ultrafilters, infinitary…

General Topology · Mathematics 2016-08-30 Paolo Lipparini

In this paper, we deal with a hyperspace selection problem in the setting of connected spaces. We present two solutions of this problem illustrating the difference between selections for the nonempty closed sets, and those for the at most…

General Topology · Mathematics 2024-01-22 Valentin Gutev

The Stone-Cech compactification of the natural numbers bN, or equivalently, the space of ultrafilters on the subsets of omega, is a well-studied space with interesting properties. If one replaces the subsets of omega by partitions of omega,…

Logic · Mathematics 2007-05-23 Lorenz Halbeisen , Benedikt Loewe

We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications.…

General Topology · Mathematics 2007-05-23 Alex Karasev , Vesko Valov

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

Logic in Computer Science · Computer Science 2015-07-01 Pierre Hyvernat