Results 271 to 280 of about 33,998 (313)
Some of the next articles are maybe not open access.
The Bounded Axiom A Forcing Axiom
Mathematical Logic Quarterly, 2010AbstractWe introduce the Bounded Axiom A Forcing Axiom (BAAFA). It turns out that it is equiconsistent with the existence of a regular ∑2‐correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom (BPFA) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Thilo Weinert
exaly +2 more sources
Results in Mathematics, 2021
The paper under review is set in the context of plane absolute geometry and Hilbert planes, in the absence of any assumption on continuity that implies the Archimedean axiom. In this context, many statements that are usually considered equivalent to the Euclidean parallel postulate \textbf{P} turn out to be weaker than it.
Victor Pambuccian, Celia Schacht
openaire +2 more sources
The paper under review is set in the context of plane absolute geometry and Hilbert planes, in the absence of any assumption on continuity that implies the Archimedean axiom. In this context, many statements that are usually considered equivalent to the Euclidean parallel postulate \textbf{P} turn out to be weaker than it.
Victor Pambuccian, Celia Schacht
openaire +2 more sources
Annals of Pure and Applied Logic, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan P. Aguilera 0001 +2 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Juan P. Aguilera 0001 +2 more
openaire +1 more source
The projective independence axiom
Economic Theory, 1994 A new axiom for preference orderings over lotteries, called the projective independence axiom, is formulated. Given suitable continuity and monotonicity assumptions, the axiom implies that utility is either in the weighted utility class or is quadratic ...
Soo Hong Chew +2 more
exaly +1 more source
The Induction Axiom and the Axiom of Choice
Mathematical Logic Quarterly, 1961Verf. schlägt eine Modifikation des Peanoschen Axiomensystems für die natürlichen Zahlen vor, bei der statt des einwertigen Funktionsbegriffs, wie er bei der Nachfolgefunktion auftritt, der Begriff der mehrwertigen Funktion gebraucht wird, so daß es z. B. zu einer Zahl mehrere Nachfolger gibt. Die Peanoschen Axiome werden entsprechend verändert.
openaire +1 more source