Ultrafilters and Standard Functions in Non-Standard Arithmetic
From MaRDI portal
Publication:5670624
DOI10.1112/plms/s3-22.4.705zbMath0256.02028MaRDI QIDQ5670624
Publication date: 1971
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-22.4.705
03H99: Nonstandard models
Related Items
Partition Theorems and Ultrafilters, A topological interpretation of three Leibnizian principles within the functional extensions, Nonstandard characterisations of tensor products and monads in the theory of ultrafilters, CONGRUENCE OF ULTRAFILTERS, \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters, Groupwise density and related cardinals, Countable ultraproducts without CH, Hierarchies of measure-theoretic ultrafilters, A nonstandard technique in combinatorial number theory, A simple algebraic characterization of nonstandard extensions, Conservative extensions of models of arithmetic