The following pages link to Journal of Logic and Analysis (Q2930865):
Displaying 50 items.
- Embedding an analytic equivalence relation in the transitive closure of a Borel relation (Q2930866) (← links)
- Dynamic Newton–Puiseux theorem (Q2930867) (← links)
- Discretisations of higher order and the theorems of Faà di Bruno and DeMoivre-Laplace (Q2930868) (← links)
- Relative computability and uniform continuity of relations (Q2930869) (← links)
- Lipschitz functions on topometric spaces (Q2930870) (← links)
- On uniform spaces with invariant nonstandard hulls (Q2930871) (← links)
- Compactness of ω^λ for λ singular (Q2930872) (← links)
- Elementary numerosity and measures (Q2930873) (← links)
- Effective genericity and differentiability (Q2930874) (← links)
- Surreal Analysis: An Analogue of Real Analysis for Surreal Numbers (Q2930875) (← links)
- Ultrafilters maximal for finite embeddability (Q2930876) (← links)
- End compactifications and general compactifications (Q2930877) (← links)
- Measure, category and projective wellorders (Q2941093) (← links)
- On zeros of Martin-Löf random Brownian motion (Q2941095) (← links)
- Near equivalence on metric spaces and a nonstandard central limit theorem (Q2941118) (← links)
- Genericity and UD-random reals (Q2941119) (← links)
- An algebraic weak factorisation system on 01-substitution sets: a constructive proof (Q2974664) (← links)
- PFA and complemented subspaces of ℓ∞/c0 (Q2974665) (← links)
- A coinductive approach to computing with compact sets (Q2974666) (← links)
- A constructive examination of rectifiability (Q2974667) (← links)
- On the relation of three theorems of functional analysis to the axiom of choice (Q2987769) (← links)
- Functions of limited accumulation (Q2987770) (← links)
- Factorisation of germ-like series (Q2987771) (← links)
- A non-standard approach to a constrained forced oscillator (Q2987772) (← links)
- Point-free characterisation of Bishop compact metric spaces (Q2987773) (← links)
- Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014) (Q2987774) (← links)
- Clarke's generalized gradient and Edalat's L-derivative (Q2987775) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- How constructive is constructing measures? (Q2987777) (← links)
- Nonstandard hulls of locally exponential Lie algebras (Q3145939) (← links)
- A decomposition of Brouwer’s fan theorem (Q3145940) (← links)
- On perturbations of Hilbert spaces and probability algebras with a generic automorphism (Q3145941) (← links)
- Relative set theory: Internal view (Q3145942) (← links)
- A computational aspect of the Lebesgue differentiation theorem (Q3145943) (← links)
- Signed-bit representations of real numbers (Q3145944) (← links)
- Localic completion of generalized metric spaces II: Powerlocales (Q3145945) (← links)
- Open sublocales of localic completions (Q3145946) (← links)
- Description of locally finite families from a nonstandard point of view (Q3145948) (← links)
- Stability of group homomorphisms in the compact-open topology (Q3145949) (← links)
- Splitting in solvable groups of finite Morley rank (Q3145950) (← links)
- A lambda calculus for real analysis (Q3145951) (← links)
- Geometric spaces with no points (Q3145952) (← links)
- Harmonic measure and subanalytically tame measures (Q3145953) (← links)
- Relative set theory: Some external issues (Q3145954) (← links)
- Complex spaces and nonstandard schemes (Q3145955) (← links)
- The probability distribution as a computational resource for randomness testing (Q3145956) (← links)
- Constructive theory of Banach algebras (Q3145957) (← links)
- Subspace structure of some operator and Banach spaces (Q3145959) (← links)
- Locating subsets of B(H) relative to seminorms inducing the strong-operator topology (Q3145960) (← links)
- Uniform liftings of continuous mappings (Q3145961) (← links)
