DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Arithmetical set
Arithmetical set
A List of Arithmetical Structures Complete with Respect to the First
The Infinite and Contradiction: a History of Mathematical Physics By
The Reverse Mathematics of Cousin's Lemma
Infinitesimals
The Hyperreals
Brentanian Continua and Their Boundaries
ARITHMETICAL SACKS FORCING 1. Introduction Two Fundamental
Arithmetical Hierarchy
Least and Greatest Solutions of Equations Over Sets of Integers
A Π1 1-Uniformization Principle for Reals 1
Some Results in the Effective Descriptive Set Theory**
These Are First-Draft Lecture Notes Issued for an Optional PG Theory
1. Introduction. Reverse Mathematics Was Introduced by H
Regularity of Minkowski's Question Mark Measure, Its Inverse and A
Cognitive Constructivism and the Epistemic Significance Of
Descriptive Set Theory Second Edition
Arxiv:1909.00050V3 [Math.LO] 2 Oct 2020 N Upr Htmd Hspoetpossible
FREE SETS and REVERSE MATHEMATICS §1. Introduction
Top View
FREE SETS and REVERSE MATHEMATICS §1. Introduction
The Reverse Mathematics of Elementary Recursive Nonstandard Analysis: a Robust Contribution to the Foundations of Mathematics
NOTICES Was Sent to Press
The Complexity of Quickly ORM-Decidable Sets
Introduction to Computability Theory
Thin Set Theorems and Cone Avoidance
A Defence of Predicativism As a Philosophy of Mathematics
Arithmetical Complexity of First-Order Fuzzy Logics
Reverse Mathematics: Calibrating Logical Strength in Mathematics
Thin Set Theorems and Cone Avoidance
Nonstandard Arithmetic and Recursive Comprehension
On Equations Over Sets of Integers Artur Jez, Alexander Okhotin
Subject Index Volumes 1–200
Nonstandard Mathematics and New Zeta and L-Functions
Bibliography
The Lebesgue Measure and Large Cardinals
Reinvention of Early Algebra
Some Subfields of 0, and Their Non-Standard Analogues
Arxiv:1703.00425V1 [Math.CA] 1 Mar 2017 PRAHST NLSSWT INFINITESIMALS with ANALYSIS to APPROACHES ..Tesprtutr Rmwr 12 13 Perspective Axiomatic Measure Lebesgue of 5
Harrington's Results on Arithmetical Singletons
Computability-Theoretic Complexity of Countable Structures