On the regular extension axiom and its variants Michael Rathjen∗†and Robert S. Lubarsky‡ Abstract The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive Zermelo-Fraenke

Source URL: www1.maths.leeds.ac.uk

Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud

Source URL: www.cs.ru.nl

• Constructivism
• Structure
• Mathematics
• Type theory
• Logic
• Constructive proof
• Axiom of choice
• Topos
• Mathematical logic
• Model theory
• Topology

Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil)

Source URL: www.illc.uva.nl

• Mathematical logic
• Mathematics
• Set theory
• Descriptive set theory
• Wadge hierarchy
• Determinacy
• Axiom of countable choice
• Ordinal numbers
• -consistent theory
• Ordinal arithmetic

Introduction Results Maximal chains in second-order arithmetic Emanuele Frittaion

Source URL: www.math.tohoku.ac.jp

• Mathematics
• Algebra
• Geometry
• Wellfoundedness
• Ordinal number
• Constructible universe
• Convex cone
• Height
• Hlder condition
• Axiom of limitation of size

Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematics
• Logic
• Automated theorem proving
• Z notation
• Set theory
• S
• Resolution
• Equality
• Mereology
• Axiom of extensionality

politics, philosophy & economics article © SAGE Publications Ltd London

Source URL: www.repugnant-conclusion.com

• Philosophy
• Ethics
• Utilitarianism
• Logic
• Classical liberalism
• Formal systems
• Social choice theory
• Paradoxes
• Average and total utilitarianism
• Utility
• Preference
• Axiom

Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY

Source URL: www.lri.fr

• Proof assistants
• Real numbers
• Automated theorem proving
• Elementary mathematics
• Type theory
• First-order logic
• Construction of the real numbers
• Constructivism
• Mathematical logic
• Isabelle
• Axiom
• Setoid

Axiom Global Inc. Code of Conduct, Ethics & Compliance Policy I. General Statement of Business Philosophy of Axiom Global Inc. (“Axiom”) Our Core Values Axiom is committed to conducting business in accordance with th

Source URL: www.axiomlaw.com

• Axiom
• Software
• Axioms of set theory
• South African labour law

THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. No natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA0 ) and Ramsey’s theorem f

Source URL: ludovicpatey.com

• Large numbers
• Mathematical notation
• Probability theory
• Differential forms
• Symbol

Power Kripke-Platek set theory and the axiom of choice Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England, Abstract

Source URL: www1.maths.leeds.ac.uk