Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
From MaRDI portal
Publication:1731963
Recommendations
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
- Proceedings of the fifth international workshop on classical logic and computation, CL\&C 2014, Vienna, Austria, July 13, 2014
- Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.
- Mathematical logic: proof theory, type theory and constructive mathematics
Cites work
- scientific article; zbMATH DE number 1670483 (Why is no real title available?)
- scientific article; zbMATH DE number 6694181 (Why is no real title available?)
- scientific article; zbMATH DE number 5851813 (Why is no real title available?)
- scientific article; zbMATH DE number 5852776 (Why is no real title available?)
- scientific article; zbMATH DE number 5360217 (Why is no real title available?)
- scientific article; zbMATH DE number 3825806 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 4104952 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 3566838 (Why is no real title available?)
- scientific article; zbMATH DE number 1302059 (Why is no real title available?)
- scientific article; zbMATH DE number 512790 (Why is no real title available?)
- scientific article; zbMATH DE number 2003148 (Why is no real title available?)
- scientific article; zbMATH DE number 1477074 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 1420782 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 7297836 (Why is no real title available?)
- scientific article; zbMATH DE number 7085124 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- scientific article; zbMATH DE number 3310901 (Why is no real title available?)
- scientific article; zbMATH DE number 3334141 (Why is no real title available?)
- scientific article; zbMATH DE number 3358455 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- scientific article; zbMATH DE number 7324390 (Why is no real title available?)
- A course in constructive algebra
- A globalization of the Hahn-Banach theorem
- A logical approach to abstract algebra
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- A universal Krull-Lindenbaum theorem
- Accessible Independence Results for Peano Arithmetic
- Ackermannian Goodstein principles for first order Peano arithmetic
- An abstract data type for real numbers
- An analysis of the Podelski-Rybalchenko termination theorem via bar recursion
- An application of proof mining to nonlinear iterations
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Canonical completeness of infinitary \(\mu \)
- Classifying phase transition thresholds for Goodstein sequences and hydra games
- Cobham recursive set functions
- Cobham recursive set functions and weak set theories
- Computability theory, nonstandard analysis, and their connections
- Computational problems in metric fixed point theory and their Weihrauch degrees
- Connected choice and the Brouwer fixed point theorem
- Constructive finite free resolutions
- Constructivism in mathematics. An introduction. Volume II
- Convergence rate analysis for averaged fixed point iterations in common fixed point problems
- Convex analysis and monotone operator theory in Hilbert spaces
- Cut Elimination in the Presence of Axioms
- Dependent choice, `quote' and the clock
- Dynamical method in algebra: Effective Nullstellensätze
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Eliminating disjunctions by disjunction elimination
- Existential witness extraction in classical realizability and via a negative translation
- Extension by conservation. Sikorski's theorem
- Extracting imperative programs from proofs: In-place Quicksort
- Generic cuts in models of arithmetic
- Geometrisation of first-order logic
- Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
- Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\)
- Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
- Logic for Gray-code computation
- Making the use of maximal ideals constructive
- Minlog -- a tool for program extraction supporting algebras and coalgebras
- Modalities in homotopy type theory
- Non-constructivity in Kan simplicial sets
- Non-monotonic pre-fix points and learning
- On the restricted ordinal theorem
- Proof analysis for Lewis counterfactuals
- Proof analysis in modal logic
- Proof lengths for instances of the Paris-Harrington principle
- Proof theory in the abstract
- Proving open properties by induction
- Rapidly growing Ramsey functions
- Real number computation through Gray code embedding.
- Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\)
- Realizability algebras: a program to well order \(\mathbb R\)
- Realizability. An introduction to its categorical side
- Results on the propositional \(\mu\)-calculus
- Revisiting Zariski main theorem from a constructive point of view
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Rudiments of \(\mu\)-calculus
- Selection functions, bar recursion and backward induction
- Sequential games and optimal strategies
- Slow consistency
- Slow reflection
- Some observations on the logical foundations of inductive theorem proving
- Structural proof theory. With an appendix by Aarne Ranta
- Subsystems of second order arithmetic
- Syntactic cut-elimination for common knowledge
- Syntactic forcing models for coherent logic
- The Frobenius condition, right properness, and uniform fibrations
- The generalised type-theoretic interpretation of constructive set theory
- The strength of infinitary Ramseyan principles can be accessed by their densities
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
- Transfinite ordinals in recursive number theory
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory
- Weak Sharp Minima in Mathematical Programming
- Weihrauch Complexity in Computable Analysis
Cited in
(5)- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.
- Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- Proceedings of the fifth international workshop on classical logic and computation, CL\&C 2014, Vienna, Austria, July 13, 2014
Describes a project that uses
Uses Software
This page was built for publication: Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1731963)
