Realizing Mahlo set theory in type theory Michael Rathjen∗ Abstract After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo se

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

The Anti-Foundation Axiom in Constructive Set Theories Michael Rathjen The paper investigates the strength of the anti-foundation axiom on the basis of various systems of constructive set theories.

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

KRIPKE-PLATEK SET THEORY AND THE ANTI-FOUNDATION AXIOM M. RATHJEN Abstract. The paper investigates the strength of the Anti-Foundation Axiom, AFA, on the basis of Kripke-Platek set theory without Foundation. It is shown

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

The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ “It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki

Source URL: gbaz.github.io

• Computer programming
• Software engineering
• Mathematics
• Adjoint functors
• Axiom
• Monad
• Topos
• Theory
• Real number
• Set theory

Algebraic structures in Axiom and Isabelle: attempt at a comparison Clemens Ballarin Institut f¨ur Informatik Universit¨at Innsbruck 6020 Innsbruck, Austria

Source URL: www21.in.tum.de

How the brain doesn’t work Alex Smola: SISEIntroduction to Machine Learning, Lecture 6, http://axiom.anu.edu.au/∼smola/engn4520/lecture6.pdf Page 1

Source URL: alex.smola.org

I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE

Source URL: ludovicpatey.com

• Computability theory
• Mathematical logic
• Proof theory
• Reverse mathematics
• Model theory
• Axiom of choice

THE FOUNDATION AXIOM AND ELEMENTARY SELF-EMBEDDINGS OF THE UNIVERSE ALI SADEGH DAGHIGHI, MOHAMMAD GOLSHANI, ˇ ABEK ´ JOEL DAVID HAMKINS, AND EMIL JER

Source URL: users.math.cas.cz

On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es

Source URL: logica.dmi.unisa.it

• Fuzzy logic
• Mathematical logic
• Model theory
• Metalogic
• Proof theory
• Monoidal t-norm logic
• BL
• ukasiewicz logic
• First-order logic
• Completeness
• Axiom
• Metamathematics

SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

Source URL: www.cs.toronto.edu