Works matching DE "FOUNDATIONS of geometry"

Results: 189

Identities on Hyperbolic Surfaces.

Published in:

Innovation, 2014, v. 13, n. 2, p. 23

By:

Tan Ser Peow

Publication type:

Article

Refinement of Vahlen's Theorem for Minkowski Bases of Three-Dimensional Lattices.

Published in:

Mathematical Notes, 2006, v. 79, n. 1/2, p. 151, doi. 10.1007/s11006-006-0018-6

By:

Avdeeva, M. O.;
Bykovskii, V. A.

Publication type:

Article

The Generalized Pompeiu Metric in the Isometry Problem for Hyperspaces.

Published in:

Mathematical Notes, 2005, v. 78, n. 1/2, p. 149, doi. 10.1007/s11006-005-0110-3

By:

Aseev, V. V.;
Tetenov, A. V.;
Maksimova, A. P.

Publication type:

Article

Continuous Approximations of Multivalued Mappings and Fixed Points.

Published in:

Mathematical Notes, 2005, v. 78, n. 1/2, p. 194, doi. 10.1007/s11006-005-0115-y

By:

Gel&amp'man, B. D.

Publication type:

Article

Uniqueness Theorems for Periodic (in Mean) Functions on Quaternion Hyperbolic Space.

Published in:

Mathematical Notes, 2003, v. 74, n. 1/2, p. 30, doi. 10.1023/A:1025058830820

By:

Volchkov, Vit. V.

Publication type:

Article

Properties of pseudoquasicontinuity.

Published in:

Journal of Mathematical Sciences, 2015, v. 211, n. 5, p. 684, doi. 10.1007/s10958-015-2624-x

By:

Nesterenko, Vasyl'

Publication type:

Article

Determination of bed settlements induced by a load uniformly distributed over the area of a right-angle triangle.

Published in:

Soil Mechanics & Foundation Engineering, 2006, v. 43, n. 4, p. 115, doi. 10.1007/s11204-006-0033-3

By:

Rybin, V.;
Rybina, L.

Publication type:

Article

On 𝝑-Open Set and Some of its Applications.

Published in:

Diyala Journal for Pure Science, 2019, v. 15, n. 1, p. 121, doi. 10.24237/djps.1501.487B

By:

Jamil, Jamil Mahmoud;
Ubaid, Intisar Elaiwi

Publication type:

Article

AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC.

Published in:

Reports on Mathematical Logic, 2015, n. 50, p. 41, doi. 10.4467/20842589RM.15.003.3912

By:

OMORI, Hitoshi

Publication type:

Article

WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 1, p. 175, doi. 10.1017/S175502030909011X

By:

Shapiro, Stewart

Publication type:

Article

Model companions of theories of graphs.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 3, p. 236, doi. 10.1002/malq.201400019

By:

Takeuchi, Kota;
Tanaka, Yu‐ichi;
Tsuboi, Akito

Publication type:

Article

Indestructibility, HOD, and the Ground Axiom.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 3, p. 261, doi. 10.1002/malq.201010005

By:

Apter, Arthur W.

Publication type:

Article

A note on the axiomatisation of real numbers.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 224, doi. 10.1002/malq.200710039

By:

Coquand, Thierry;
Lombardi, L. Henri

Publication type:

Article

Largest fixed points of set continuous operators and Boffa's Anti-Foundation.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 4, p. 365, doi. 10.1002/malq.200410039

By:

Muraki, Hisato

Publication type:

Article

James sequences and Dependent Choices.

Published in:

Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 171, doi. 10.1002/malq.200410017

By:

Morillon, Marianne

Publication type:

Article

Uniform versions of some axioms of second order arithmetic.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 587, doi. 10.1002/malq.200310122

By:

Sakamoto, Nobuyuki;
Yamazaki, Takeshi

Publication type:

Article

The axiom of choice holds iff maximal closed filters exist.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 323, doi. 10.1002/malq.200310033

By:

Herrlich, Horst

Publication type:

Article

A note on the first incompleteness theorem.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 214, doi. 10.1002/malq.200310021

By:

Ishii, Katsumasa

Publication type:

Article

On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 413, doi. 10.1002/1521-3870(200204)48:3<413::AID-MALQ413>3.0.CO;2-C

By:

Kanai, Yasuo

Publication type:

Article

An Intuitionistic Axiomatisation of Real Closed Fields.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 2, p. 297, doi. 10.1002/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-G

By:

Palmgren, Erik

Publication type:

Article

Metrically Universal Generic Structures in Free Amalgamation Classes.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 2, p. 147, doi. 10.1002/1521-3870(200105)47:2<147::AID-MALQ147>3.0.CO;2-Z

By:

Bonato, Anthony

Publication type:

Article

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Published in:

Mathematical Logic Quarterly, 2001, v. 47, n. 1, p. 129, doi. 10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B

By:

Pambuccian, Victor

Publication type:

Article

On Countable Products of Finite Hausdorff Spaces.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 537, doi. 10.1002/1521-3870(200010)46:4<537::AID-MALQ537>3.0.CO;2-2

By:

Herrlicha, Horst;
Keremedis, Kyriakos

Publication type:

Article

Von Rimscha's Transitivity Conditions.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 549, doi. 10.1002/1521-3870(200010)46:4<549::AID-MALQ549>3.0.CO;2-R

By:

Howarda, Paul;
Rubinb, Jean E.;
Stanley, Adrienne

Publication type:

Article

On κ-hereditary Sets and Consequences of the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 563, doi. 10.1002/1521-3870(200010)46:4<563::AID-MALQ563>3.0.CO;2-6

By:

Diener, Karl-heinz

Publication type:

Article

The Compactness of 2<sup>ℝ</sup> and the Axiom of Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 4, p. 569, doi. 10.1002/1521-3870(200010)46:4<569::AID-MALQ569>3.0.CO;2-J

By:

Keremedis, Kyriakos

Publication type:

Article

Paracompactness of Metric Spaces and the Axiom of Multiple Choice.

Published in:

Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 219, doi. 10.1002/(SICI)1521-3870(200005)46:2<219::AID-MALQ219>3.0.CO;2-2

By:

Howard, Paul;
Keremedis, Kyriakos;
Rubin, Jean E.;
Stanley, Adrienne

Publication type:

Article

An Application of Non-Wellfounded Sets to the Foundations of Geometry.

Published in:

Mathematical Logic Quarterly, 1991, v. 37, n. 17, p. 257, doi. 10.1002/malq.19910371702

By:

Kuper, Jan

Publication type:

Article

The Rigged Hilbert Space of the Free Hamiltonian.

Published in:

International Journal of Theoretical Physics, 2003, v. 42, n. 10, p. 2441, doi. 10.1023/B:IJTP.0000005968.76452.6b

By:

de la Madrid, Rafael

Publication type:

Article

98.35 A novel approach to finding ∫ cosec x dx.

Published in:

Mathematical Gazette, 2014, v. 98, n. 543, p. 518, doi. 10.1017/s0025557200008329

By:

JACOB, WALTER;
OSLER, THOMAS J.

Publication type:

Article

The General Theory of Diads.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 5, p. 523, doi. 10.1007/s10485-008-9181-0

By:

Kenney, Toby

Publication type:

Article

Bisets as Categories and Tensor Product of Induced Bimodules.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 5, p. 517, doi. 10.1007/s10485-008-9180-1

By:

Bouc, Serge

Publication type:

Article

Fibrations of Simplicial Sets.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 5, p. 505, doi. 10.1007/s10485-009-9190-7

By:

Beke, Tibor

Publication type:

Article

Hilbert’s Error?

Published in:

Mathematical Intelligencer, 2018, v. 40, n. 4, p. 6, doi. 10.1007/s00283-018-9792-8

By:

Shen, Alexander

Publication type:

Article

A Spherical Pythagorean Theorem.

Published in:

Mathematical Intelligencer, 2010, v. 32, n. 3, p. 46, doi. 10.1007/s00283-010-9152-9

By:

Maraner, Paolo

Publication type:

Article

The foundations of geometry and the history of geometry.

Published in:

Mathematical Intelligencer, 1998, v. 20, n. 2, p. 54, doi. 10.1007/BF03025299

By:

Gray, Jeremy

Publication type:

Article

UMKEHR MAPS: RALPH L. COHEN AND JOHN R. KLEIN.

Published in:

Homology, Homotopy & Applications, 2009, v. 11, n. 1, p. 17, doi. 10.4310/HHA.2009.v11.n1.a2

By:

COHEN, RALPH L.;
KLEIN, JOHN R.

Publication type:

Article

Upper bounds on complexity of Frege proofs with limited use of certain schemata.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 4, p. 431, doi. 10.1007/s00153-005-0325-8

By:

Naumov, Pavel

Publication type:

Article

Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics.

Published in:

Symmetry (20738994), 2018, v. 10, n. 12, p. 755, doi. 10.3390/sym10120755

By:

Wang, Sanmin

Publication type:

Article

A Note On Pairwise Continuous Mappings and Bitopological Spaces.

Published in:

European Journal of Pure & Applied Mathematics, 2009, v. 2, n. 3, p. 325

By:

Kilicman, Adem;
Salleh, Zabidin

Publication type:

Article

Implizite Definitionen--Eine Verwechselungsgeschichte.

Published in:

Annals of Science, 1978, v. 35, n. 4, p. 419, doi. 10.1080/00033797800200331

By:

Gabriel, Gottfried

Publication type:

Article

The positive core of a cooperative game.

Published in:

International Journal of Game Theory, 2010, v. 39, n. 1/2, p. 113, doi. 10.1007/s00182-009-0208-z

By:

Orshan, Guni;
Sudhölter, Peter

Publication type:

Article

Bargaining among groups: an axiomatic viewpoint.

Published in:

International Journal of Game Theory, 2010, v. 39, n. 1/2, p. 71, doi. 10.1007/s00182-009-0157-6

By:

Chae, Suchan;
Moulin, Hervé

Publication type:

Article

Nearly serial sharing methods.

Published in:

International Journal of Game Theory, 2008, v. 37, n. 2, p. 155, doi. 10.1007/s00182-008-0119-4

By:

Sprumont, Yves

Publication type:

Article

Complete Axiomatisations of Properties of Finite Sets.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 293, doi. 10.1093/jigpal/jzn008

By:

Ågotnes, Thomas;
Walicki, Michal

Publication type:

Article

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 175, doi. 10.1093/jigpal/jzm059

By:

Nguyen, Linh Anh

Publication type:

Article

Logics with the Qualitative Probability Operator.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 2, p. 105, doi. 10.1093/jigpal/jzm031

By:

Ognjanović, Zoran;
Perović, Aleksandar;
Rašković, Miodrag

Publication type:

Article

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 239, doi. 10.1093/jigpal/jzm010

By:

Calardo, Erica;
Rybakov, Vladimir V.

Publication type:

Article

Partially-Elementary Extension Kripke Models: A Characterization and Applications.

Published in:

Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 73, doi. 10.1093/jigpal/jzk005

By:

Połacik, Tomasz

Publication type:

Article

Hybrid logics with Sahlqvist axioms.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 293, doi. 10.1093/jigpal/jzi024

By:

ten Cate, Balder;
Marx, Maarten;
Viana, Petrúcio

Publication type:

Article