No label defined (Q5015363)

From MaRDI portal

Revision as of 10:07, 27 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: scientific article; zbMATH DE number 7440186

scientific article; zbMATH DE number 7440186

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7440186

Statements

scholarly article

0 references

0 references

publication date

7 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1606.06386

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.3

0 references

MaRDI profile type

0 references

0 references

Comparing DNR and WWKL

0 references

0 references

A functional interpretation for nonstandard arithmetic

0 references

End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering

0 references

Modified bar recursion

0 references

0 references

A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES

0 references

System T and the Product of Selection Functions

0 references

The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation

0 references

0 references

Meeting of the Association for Symbolic Logic, Chicago 1975

0 references

0 references

Relatively standard elements in Nelson's internal set theory

0 references

Located sets and reverse mathematics

0 references

Nonstandard second-order arithmetic and Riemann's mapping theorem

0 references

0 references

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

0 references

0 references

0 references

Deduction-preserving “recursive isomorphisms” between theories

0 references

Higher-Order Computability

0 references

Open Questions in Reverse Mathematics

0 references

Internal set theory: A new approach to nonstandard analysis

0 references

Recursion on the countable functionals

0 references

COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS

0 references

Computation of the kernels of Lévy functionals and applications

0 references

Malliavin Calculus for Lévy Processes and Infinite-Dimensional Brownian Motion

0 references

A nonstandard proof of a lemma from constructive measure theory

0 references

Non-standard analysis

0 references

Uniform versions of some axioms of second order arithmetic

0 references

0 references

A nonstandard counterpart of WWKL

0 references

0 references

The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method

0 references

Non‐standard Analysis in WKL<sub>0</sub>

0 references

A non-standard construction of Haar measure and weak König's lemma

0 references

Nonstandard Analysis for the Working Mathematician

0 references

Formalizing non-standard arguments in second-order arithmetic

0 references

Non-standard analysis in ACA0 and Riemann mapping theorem

0 references

Lebesgue Convergence Theorems and Reverse Mathematics

0 references

Measure theory and weak König's lemma

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5015363

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5015363&oldid=36746583"