Results 51 to 60 of about 24,422 (242)
On Tarski's Foundations of the Geometry of Solids [PDF]
The Bulletin of Symbolic Logic, 2012 AbstractThe paper [Tarski:Les fondements de la géométrie des corps,Annales de la Société Polonaise de Mathématiques, pp. 29–34, 1929] is in many ways remarkable. We address three historico-philosophical issues that force themselves upon the reader. First we argue that in this paper Tarski did not live up to his own methodological ideals, but displayed ...
Betti, Arianna, Loeb, Iris
openaire +3 more sources
Simple groups with strong fixed‐point properties
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract We exhibit finitely generated torsion‐free groups for which any action on any finite‐dimensional CW‐complex with finite Betti numbers has a global fixed point.
Nansen Petrosyan
wiley +1 more source
Fuzzy Results for Finitely Supported Structures
Mathematics, 2021 We present a survey of some results published recently by the authors regarding the fuzzy aspects of finitely supported structures. Considering the notion of finite support, we introduce a new degree of membership association between a crisp set and a ...
Andrei Alexandru, Gabriel Ciobanu
doaj +1 more source
The axiom of choice and the paradoxes of the sphere. [PDF]
, 1961 Thesis (M.A.)--Boston UniversityThe Axiom of Choice is stated in the following form: For every set Z whose elements are sets A, non-empty and mutually disjoint, there exists at least one set B having one and only one element from each of the sets A ...
Cargill, David Milton
core +1 more source
Plank theorems and their applications: A survey
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract Plank problems concern the covering of convex bodies by planks in Euclidean space and are related to famous open problems in convex geometry. In this survey, we introduce plank problems and present surprising applications of plank theorems in various areas of mathematics.
William Verreault
wiley +1 more source
CQD Revista Eletrônica Paulista de Matemática, 2017 Iniciamos com o conceito de dedução, como conhecido no contexto da Matemática e das ciências exatas. Então, apresentamos algumas propostas de formalização da dedução em sistemas dedutivos, o que é bem conhecido nos tratados de lógica universal ou lógica
H´ercules de Araujo Feitosa +1 more
doaj
On non-measurable sets and invariant tori
, 2001 The question: "How many different trajectories are there on a single invariant torus within the phase space of an integrable Hamiltonian system?" is posed. A rigorous answer to the question is found both for the rational and the irrational tori.
Augenstein +22 more
core +1 more source
Noûs, Volume 59, Issue 4, Page 851-872, December 2025.Abstract A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions.
Nathan Salmón
wiley +1 more source
Splitting automorphisms of prime power orders of free Burnside groups
, 2014 We prove that if the order of a splitting automorphism of free Burnside group~$B(m,n)$ of odd period~$n\ge1003$ is a prime power, then the automorphism is inner.
Atabekyan, Varujan S.
core +1 more source
, 2013 In this paper, we report on the formal proof that Hilbert’s axiom system can be derived from Tarski’s system. For this purpose we mechanized the proofs of the first twelve chapters of Schwabauser, Szmielew and Tarski’s book: Metamathematische Methoden in der Geometrie. The proofs are checked formally within classical logic using the Coq proof assistant.
Gabriel Braun, Julien Narboux
openaire +1 more source