scientific article; zbMATH DE number 3291139
From MaRDI portal
zbMath0183.01503MaRDI QIDQ5573965
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Inaccessible set axioms may have little consistency strength, Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization, On a nonstandard Brownian motion and its maximal function, The constructive completion of the space ?(?), Metamathematical properties of a constructive multi-typed theory, Gleason's theorem is not constructively provable, Quantitative analysis of a subgradient-type method for equilibrium problems, A footnote to ``The crisis in contemporary mathematics, Implementing Euclid's straightedge and compass constructions in type theory, A constructive approach to nonstandard analysis, NONSTANDARD CENTRAL LIMIT THEOREMS FOR MARKOV CHAINS, A Minimalist Foundation at Work, Understanding uniformity in Feferman's explicit mathematics, Betwixt Turing and Kleene, Between Turing and Kleene, Constructive mathematics and unbounded operators -- a reply to Hellman, A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces, Strongly Noetherian rings and constructive ideal theory, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Completely Regular Bishop Spaces, APPROXIMATING BEPPO LEVI’S PRINCIPIO DI APPROSSIMAZIONE, Spectra of selfadjoint operators in constructive analysis, Local Bézout theorem for Henselian rings, Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma, A Coq formalization of Lebesgue integration of nonnegative functions, On fixed-point theorems in synthetic computability, Inverse semigroups with apartness, Meaning explanations at higher dimension, Retracing Cantor's first steps in Brouwer's company, Eliminating disjunctions by disjunction elimination, To be or not to be constructive, that is not the question, Radical theory of Scott-open filters, A constructive version of the Sylvester-Gallai theorem, SEPARATING FRAGMENTS OF WLEM, LPO, AND MP, The binary expansion and the intermediate value theorem in constructive reverse mathematics, An abstract data type for real numbers, Computable preference and utility, Infinity and verifiability in Carnap's inductive logic, A point-free characterisation of Bishop locally compact metric spaces, A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces, Omniscience Principles and Functions of Bounded Variation, The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting, Effective analytic functions, A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), The Operational Perspective: Three Routes, The Monotone Completeness Theorem in Constructive Reverse Mathematics, From Mathesis Universalis to Provability, Computability, and Constructivity, Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics, Constructive harmonic conjugates, The abstract type of the real numbers, Remarks on the development of computability, Exploring ramification of the equation \(E(Y|X)=X\), Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice, Category theoretic structure of setoids, Toward a clarity of the extreme value theorem, McShane-Whitney pairs, Proofs and retributions, or: why Sarah can't take limits, What is constructive mathematics?, About Stone's notion of spectrum, Church's thesis without tears, Quotient topologies in constructive set theory and type theory, Characterizing the interpretation of set theory in Martin-Löf type theory, A computable version of the Daniell-Stone theorem on integration and linear functionals, Intuitionistic sequential compactness?, Combinatorial topology and constructive mathematics, The constructive theory of torsion-free abelian groups, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem, Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics, Reverse formalism 16, C for constructivism. Beyond clichés, Can constructive mathematics be applied in physics?, The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not, Intuitionism: an inspiration?, A note on inverses of elementary permutations, Towards a computation system based on set theory, An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper, A constructive intermediate value theorem, Investigation of constructive functions by the method of fillings, On mathematical realism and applicability of hyperreals, Lattice-ordered groups generated by an ordered group and regular systems of ideals, Morse set theory as a foundation for constructive mathematics, Predicativity and constructive mathematics, Closed subsets in Bishop topological groups, The fuzzy Tychonoff theorem, Strong continuity implies uniform sequential continuity, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), Constructive hybrid games, Algebras of complemented subsets, Parallelizations in Weihrauch reducibility and constructive reverse mathematics, Functions of Baire class one over a Bishop topology, Apartness spaces as a framework for constructive topology, Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics, Modelling algebraic structures and morphisms in ACL2, A new graph characteristic and its application to numerical computability, TAMING THE INCOMPUTABLE, RECONSTRUCTING THE NONCONSTRUCTIVE AND DECIDING THE UNDECIDABLE IN MATHEMATICAL ECONOMICS, ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS, BLUEPRINT FOR AN ALGORITHMIC ECONOMICS, REFLECTIONS ON MATHEMATICAL ECONOMICS IN THE ALGORITHMIC MODE, Constructive mathematics, Church's thesis, and free choice sequences, Extending strongly continuous functions between apartness spaces, A constructive real projective plane, Continuity of Gödel's system T definable functionals via effectful forcing, Interpretation of constructive multi-typed theory in the theory of arithmetical truth, On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case, On stability of probability laws with respect to small violations of algorithmic randomness, Diagonalization of continuous matrices as a representation of intuitionistic reals, Apartness spaces and uniform neighbourhood structures, Insight in discrete geometry and computational content of a discrete model of the continuum, A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle, Realizability and recursive set theory, Implication and analysis in classical Frege structures, Basic notions of (constructive) semigroups with apartness, Compactness in constructive analysis revisited, Representations of the real numbers and of the open subsets of the set of real numbers, Constructive irrational space, Convexity and constructive infima, The constructive theory of preference relations on a locally compact space. II, Ideals in constructive Banach algebra theory, Generalized functions with pseudobounded support in constructive mathematics, Innovations in computational type theory using Nuprl, Nonstandard analysis and constructivism?, A type-free system extending (ZFC), Quotient completion for the foundation of constructive mathematics, The objectivity of mathematics, Intuitionistic completeness of first-order logic, What does logic have to tell us about mathematical proofs?, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, Towards ``mouldable code via nested code graph transformation, Compactly generated Banach spaces, On the foundations of best approximation theory, On an approximative version of the notion of constructive analytic function, On constructive distribution functions, A constructive algebraic hierarchy in Coq., On the relationship between algebra and analysis, Almost new pre-apartness from old, The intermediate value theorem in constructive mathematics without choice, A constructive development of Chebyshev approximation theory, On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology, The double negation of the intermediate value theorem, Approximate interpolation by functions in a Haar space, Bounded linear mappings of finite rank, A constructive analysis of the Remes algorithm, Constructive system for automatic program synthesis, Polynomials and linear transformations, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, Compactness notions for an apartness space, Oscillation in ergodic theory: Higher dimensional results, Reflections on function spaces, Some points in formal topology., Unique existence, approximate solutions, and countable choice., A constructive theory of point-set nearness., The anti-Specker property, a Heine-Borel property, and uniform continuity, Constructive compact operators on a Hilbert space, A bridge between constructive logic and computer programming, Structures and logics: a case for (a) relativism, Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem, Apartness, compactness and nearness, Extension of combinatory logic to a theory of combinatory representation, Constructions of categories of setoids from proof-irrelevant families, An epistemological use of nonstandard analysis to answer Zeno's objections against motion, Notes on computable analysis, Transcendental operators on a Banach space, Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Upcrossing inequalities for stationary sequences and applications, Intuitionistic views on the nature of mathematics, A non-classical logic for physics, Glueing continuous functions constructively, A computer-verified monadic functional implementation of the integral, Noncompact closed ball in a constructive compact metric space, Topos theory and complex analysis, Constructivization of the concepts of \(\varepsilon\) entropy and \(\varepsilon\) capacity, New proof of the uniqueness theorem for constructive differentiable functions of a complex variable, Realizability interpretation of proofs in constructive analysis, Ergodic theorems for individual random sequences, Intensionality in mathematics, A minimalist two-level foundation for constructive mathematics, Constructive mathematics: a foundation for computable analysis, Markov's constructive analysis; a participant's view, Finite sets and infinite sets in weak intuitionistic arithmetic, Continuity and Lipschitz constants for projections, Problems, solutions, and completions, A common axiom set for classical and intuitionistic plane geometry, Wittgenstein and finitism, Reflections on Bishop's philosophy of mathematics, Noncomputability in analysis and physics: A complete determination of the class of noncomputable linear operators, Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval, Differential equations in constructive analysis and in the recursive realizability topos, A Boolean model of ultrafilters, The knowing mathematician, Studies in constructive mathematics and mathematical logic. Part IX, The real-algebraic structure of Scott's model of intuitionistic analysis, Valuation theory: A constructive view, Propositions and specifications of programs in Martin-Löf's type theory, Countable algebra and set existence axioms, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, Theory of representations, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction, A certified, corecursive implementation of exact real numbers, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, Decidable fan theorem and uniform continuity theorem with continuous moduli, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES, A Comparison of Type Theory with Set Theory, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, Does logical pluralism imply, or suggest, truth pluralism, or vice versa?, Why logical pluralism?, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$, Ergodic theorems and converses for PSPACE functions, Hierarchical multiverse of sets, The non-normal abyss in Kleene's computability theory, On the complexity of learning programs, Complexity of optimizing over the integers, COMPUTABLY COMPACT METRIC SPACES, Valuative Lattices and Spectra, Sets in homotopy type theory, Constructive decidability of classical continuity, Completeness and cocompleteness of the categories of basic pairs and concrete spaces, On a finitary version of mathematical analysis, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice, Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness, Unnamed Item, On co-Filters in Semigroups with Apartness, Countable sets versus sets that are countable in reverse mathematics, Compactness in the Theory of Continuous Automata, The Urysohn Extension Theorem for Bishop Spaces, Formal topologies on the set of first-order formulae, Constructive Game Logic, Unnamed Item, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, Principles of bar induction and continuity on Baire space, ON THE UNCOUNTABILITY OF, Proof-relevance in Bishop-style constructive mathematics, The Scott model of PCF in univalent type theory, Changing a Semantics: Opportunism or Courage?, Unnamed Item, Continuity and nondiscontinuity in constructive mathematics, Pluralism in mathematics, A theory of local negation: The model and some applications, Unnamed Item, A strong constructive version of engel's theorem, Direct spectra of Bishop spaces and their limits, The Jacobson radical for an inconsistency predicate, New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory, Unnamed Item, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Finitary sequence spaces, Open subspaces of locally compact metric spaces, Complements of Intersections in Constructive Mathematics, A unified approach to the definition of random sequences, Unnamed Item, A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory, Continuity properties in constructive mathematics, A uniformly computable Implicit Function Theorem, Bishop's Lemma, Formally continuous functions on Baire space, Seven Kinds of Computable and Constructive Infelicities in Economics, Bounded variation implies regulated: a constructive proof, IN MEMORIAM: SOLOMON FEFERMAN (1928–2016), ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Spectral Spaces Versus Distributive Lattices: A Dictionary, Five stages of accepting constructive mathematics, Constructive set theory, The Arrow-Hahn Construction in a Locally Compact Metric Space, Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace, 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07, Continuous homomorphisms of R onto a compact group, EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS, A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY, THE CLASSICAL CONTINUUM WITHOUT POINTS, Decidability of Scott's model as an ordered ℚ-vectorspace, Unnamed Item, Solving the Dirichlet problem constructively, A constructive proof of the Heine-Borel covering theorem for formal reals, Interpreting descriptions in intensional type theory, On constructing completions, Classical and constructive hierarchies in extended intuitionistic analysis, A generalization of the Takeuti–Gandy interpretation, Continuous isomorphisms from R onto a complete abelian group, Un anneau de Prüfer, A type D breakdown of the Navier Stokes equation ind= 3 spatial dimensions, Co-quasiordered residuated systems: An introduction, Product a‐frames and proximity, A constructive version of Birkhoff's theorem, Computer Certified Efficient Exact Reals in Coq, A non-standard construction of Haar measure and weak König's lemma, Toward a constructive theory of unbounded linear operators, Unnamed Item, Basic sub groups from a constructive viewpoint, The syzygy theorem for Bézout rings, A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis, Some relations between classical and constructive mathematics, Constructibility and Geometry, Feferman on Computability, The Operational Penumbra: Some Ontological Aspects, Proof Theory of Constructive Systems: Inductive Types and Univalence, A constructive look at the completeness of the space (ℝ), What the Applicability of Mathematics Says About Its Philosophy, Unnamed Item, RAMSEY’S THEOREM FOR PAIRS ANDKCOLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC, A constructive view on ergodic theorems, Building Mathematics-Based Software Systems to Advance Science and Create Knowledge, Analysis without actual infinity, Weihrauch and constructive reducibility between existence statements, Nets and reverse mathematics, On the computational content of the axiom of choice, Unique solutions, A nonstandard proof of a lemma from constructive measure theory, Proof-Theoretic Semantics and Feasibility, Natural Deduction for Equality: The Missing Entity, The pointwise ergodic theorem in subsystems of second-order arithmetic, A Definitive Constructive Open Mapping Theorem?, The Zambelli Attractors of Coupled, Nonlinear Macrodynamics and Knot Theory, Developments in Constructive Nonstandard Analysis, European Summer Meeting of the Association for Symbolic Logic, Extensional equality preservation and verified generic programming, A general formulation of simultaneous inductive-recursive definitions in type theory, Computable Measure Theory and Algorithmic Randomness, Bishop-Style Constructive Reverse Mathematics, Syntax for Semantics: Krull’s Maximal Ideal Theorem, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
