Results 331 to 340 of about 250,783 (371)

The Existence of Axioms is an Axiom

We introduce the axiom of the existence of axioms and discuss its implications for logical systems and beyond.
openaire   +1 more source

Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom

Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2019
The authors state several axioms such as Lippmann's axiom (1906): ``for any circle there exists a triangle circumscribing it'' or Bachmann's Lotschnittaxiom (1964): ``every quadrilateral with three right angles closes''. They provide detailed proofs for the equivalence of all of the listed axioms over Hilbert's plane absolute geometry \(\mathcal{A ...
Victor Pambuccian, Celia Schacht
openaire   +1 more source

The axiom of constructibility

1977
Before reading this chapter, the reader should go back and reread Sections 2.2 and 2.3 of Chapter 2, where we developed the concept of the set-theoretic hierarchy, 〉Vα ∣ α ∈ On〉.
openaire   +1 more source

Independent set axioms, base axioms and circuit axioms of\\ supermatroids

SCIENTIA SINICA Mathematica, 2016
Dunstan et al. first proposed the concept of supermatroids in 1972 by generalizing the underlying sets of matroids from finite sets to finite posets. Barnabei et al. introduced another matroidal structure on posets, i.e., poset matroids. By the one-to-one correspondence between finite distributive lattices and finite posets, poset matroids are just ...
openaire   +1 more source

Quantum nonlocality as an axiom

, 1994
S. Popescu, D. Rohrlich
semanticscholar   +1 more source

Development and evaluation of the Axiom® IStraw35 384HT array for the allo-octoploid cultivated strawberry Fragaria ×ananassa

, 2017
Sujeet Verma, N. Bassil, E. Weg, R. Harrison, A. Monfort, J. M. Hidalgo, I. Amaya, B. Denoyes, L. Mahoney, T. Davis, Zhenjun Fan, S. Knapp, V. Whitaker   +12 more
semanticscholar   +1 more source

Orthogonal sets: The axiom of choice and proof of a fixed point theorem

, 2016
H. Baghani, M. Eshaghi Gordji, M. Ramezani   +2 more
semanticscholar   +1 more source

Efficient Axiom Pinpointing with EL2MCS

Deutsche Jahrestagung für Künstliche Intelligenz, 2015
M. F. Arif, Carlos Mencía, Joao Marques-Silva   +2 more
semanticscholar   +1 more source

Belief in a Zero-Sum Game as a Social Axiom

, 2015
Joanna Różycka-Tran, P. Boski, B. Wojciszke   +2 more
semanticscholar   +1 more source

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω 1

Journal of Symbolic Logic (JSL), 2012
B. Claverie, R. Schindler
semanticscholar   +1 more source