Results 21 to 30 of about 588,055 (168)
Finite Embeddability of Sets and Ultrafilters [PDF]
, 2015 A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it ...
Blass, Andreas, Di Nasso, Mauro
core +3 more sources
Connectedness and compactness on standard sets [PDF]
, 2010 We present a nonstandard characterization of connected compact sets. (C) 2010 WILEY-VCH Verlag GmbH & Co KGaA.
Almeida, R
core +2 more sources
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory [PDF]
, 2017 The goal of this present manuscript is to introduce the reader to the nonstandard method and to provide an overview of its most prominent applications in Ramsey theory and combinatorial number theory.Comment: 126 pages.
Di Nasso, Mauro +2 more
core +2 more sources
Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals [PDF]
, 2015 In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics.
Foukzon, Jaykov
core +1 more source
Compactness of powers of \omega
, 2013 We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in ...
Lipparini, Paolo
core +1 more source
A topological interpretation of three Leibnizian principles within the functional extensions
, 2018 Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility as ...
Forti, Marco
core +1 more source
Nonstandard Analysis in Topology
, 2011 We present Nonstandard Analysis by three axioms: the {\em Extension, Transfer and Saturation Principles} in the framework of the superstructure of a given infinite set. We also present several applications of this axiomatic approach to point-set topology.
Salbany, Sergio, Todorov, Todor
openaire +2 more sources
Examples of new nonstandard hulls of topological vector spaces [PDF]
Proceedings of the American Mathematical Society, 2018 The authors introduce several nonstandard hulls for topological vector spaces. These are defined using convex subrings of \({}^*\mathbb{R}\). If \(\mathbb{F}\) is such a subring and \(E\) is a topological vector space then \(p\in{}^*E\) is \(\mathbb{F}\)-bounded if for every neighbourhood \(U\) of \(0\) in \(E\) there is \(r\in\mathbb{B}\) outside the ...
Kosarew, Siegmund, Khalfallah, Adel
openaire +2 more sources
Regularity and nearness theorems for families of local Lie groups [PDF]
, 2011 In this work, we prove three types of results with the strategy that, together, the author believes these should imply the local version of Hilbert's Fifth problem.
McGaffey, Tom
core +2 more sources
RaPID Selection of Backbone Macrocyclic Peptides Targeting Akt2
Angewandte Chemie International Edition, EarlyView.Backbone macrocyclic peptide library (BMP) library was screened against Akt2 via RaPID to discover potent BMPPakti‐3 (IC50 = 34 nM). ABSTRACT Backbone‐cyclic peptides (BMPs) are an attractive class of molecules appeared in diverse natural bioactive products. However, mRNA display technology coupled with ribosomal synthesis is intrinsically inapplicable
Koki Shinbara +4 more
wiley +1 more source