Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963): Difference between revisions

Latest revision as of 15:13, 12 August 2024

scientific article

Language	Label	Description	Also known as
English	Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017	scientific article

Statements

instance of

scholarly article

0 references

title

Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (English)

0 references

published in

Oberwolfach Reports

0 references

publication date

15 March 2019

0 references

review text

Summary: The workshop ``Mathematical Logic: Proof Theory, Constructive Mathematics'' was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138726
@@ Property / cites work: Q4138726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic cuts in models of arithmetic
@@ Property / cites work: Generic cuts in models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of infinitary Ramseyan principles can be accessed by their densities
+Normal rank
@@ Property / cites work @@
+Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
+Normal rank
@@ Property / cites work @@
+Extracting Imperative Programs from Proofs: In-place Quicksort
+Normal rank
@@ Property / cites work @@
+Q3829551
@@ Property / cites work: Q3829551 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory in the abstract
@@ Property / cites work: Proof theory in the abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Proof lengths for instances of the Paris-Harrington principle
+Normal rank
@@ Property / cites work @@
+Slow reflection
@@ Property / cites work: Slow reflection / rank @@
+Normal rank
@@ Property / cites work @@
+Slow consistency
@@ Property / cites work: Slow consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Convex analysis and monotone operator theory in Hilbert spaces
+Normal rank
@@ Property / cites work @@
+An application of proof mining to nonlinear iterations
+Normal rank
@@ Property / cites work @@
+Convergence Rate Analysis for Averaged Fixed Point Iterations in Common Fixed Point Problems
+Normal rank
@@ Property / cites work @@
+Weak Sharp Minima in Mathematical Programming
@@ Property / cites work: Weak Sharp Minima in Mathematical Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
+Normal rank
@@ Property / cites work @@
+Syntactic forcing models for coherent logic
@@ Property / cites work: Syntactic forcing models for coherent logic / rank @@
+Normal rank
@@ Property / cites work @@
+The generalised type-theoretic interpretation of constructive set theory
+Normal rank
@@ Property / cites work @@
+GEOMETRISATION OF FIRST-ORDER LOGIC
@@ Property / cites work: GEOMETRISATION OF FIRST-ORDER LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224887
@@ Property / cites work: Q5224887 / rank @@
+Normal rank
@@ Property / cites work @@
+PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
@@ Property / cites work: PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS / rank @@
+Normal rank
@@ Property / cites work @@
+A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
+Normal rank
@@ Property / cites work @@
+Cut Elimination in the Presence of Axioms
@@ Property / cites work: Cut Elimination in the Presence of Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic cut-elimination for common knowledge
@@ Property / cites work: Syntactic cut-elimination for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical completeness of infinitary \(\mu \)
@@ Property / cites work: Canonical completeness of infinitary \(\mu \) / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854738
@@ Property / cites work: Q5854738 / rank @@
+Normal rank
@@ Property / cites work @@
+Weihrauch Complexity in Computable Analysis
@@ Property / cites work: Weihrauch Complexity in Computable Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Connected choice and the Brouwer fixed point theorem
+Normal rank
@@ Property / cites work @@
+Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
+Normal rank
@@ Property / cites work @@
+An analysis of the Podelski–Rybalchenko termination theorem via bar recursion
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Sequential games and optimal strategies
@@ Property / cites work: Sequential games and optimal strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Cobham recursive set functions
@@ Property / cites work: Cobham recursive set functions / rank @@
+Normal rank
@@ Property / cites work @@
+COBHAM RECURSIVE SET FUNCTIONS AND WEAK SET THEORIES
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda-calculus in classical Zermelo-Fraenkel set theory
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075442
@@ Property / cites work: Q3075442 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability algebras: a program to well order R
@@ Property / cites work: Realizability algebras: a program to well order R / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability algebras II : new models of ZF + DC
@@ Property / cites work: Realizability algebras II : new models of ZF + DC / rank @@
+Normal rank
@@ Property / cites work @@
+Existential witness extraction in classical realizability and via a negative translation
+Normal rank
@@ Property / cites work @@
+Q3532205
@@ Property / cites work: Q3532205 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Q5591514
@@ Property / cites work: Q5591514 / rank @@
+Normal rank
@@ Property / cites work @@
+Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Q5611757
@@ Property / cites work: Q5611757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490681
@@ Property / cites work: Q4490681 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Rippling: Meta-Level Guidance for Mathematical Reasoning
+Normal rank
@@ Property / cites work @@
+Some observations on the logical foundations of inductive theorem proving
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435458
@@ Property / cites work: Q4435458 / rank @@
+Normal rank
@@ Property / cites work @@
+Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
+Normal rank
@@ Property / cites work @@
+Real number computation through Gray code embedding.
+Normal rank
@@ Property / cites work @@
+Logic for Gray-code Computation
@@ Property / cites work: Logic for Gray-code Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
+Normal rank
@@ Property / cites work @@
+On the restricted ordinal theorem
@@ Property / cites work: On the restricted ordinal theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite ordinals in recursive number theory
@@ Property / cites work: Transfinite ordinals in recursive number theory / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games
+Normal rank
@@ Property / cites work @@
+ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)
+Normal rank
@@ Property / cites work @@
+Q4944846
@@ Property / cites work: Q4944846 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities in homotopy type theory
@@ Property / cites work: Modalities in homotopy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Frobenius condition, right properness, and uniform fibrations
+Normal rank
@@ Property / cites work @@
+Non-monotonic Pre-fix Points and Learning
@@ Property / cites work: Non-monotonic Pre-fix Points and Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5277833
@@ Property / cites work: Q5277833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Zariski main theorem from a constructive point of view
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories, Sites, Toposes
@@ Property / cites work: Theories, Sites, Toposes / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to abstract algebra
@@ Property / cites work: A logical approach to abstract algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive finite free resolutions
@@ Property / cites work: Constructive finite free resolutions / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical method in algebra: Effective Nullstellensätze
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Making the use of maximal ideals constructive
@@ Property / cites work: Making the use of maximal ideals constructive / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
+Normal rank
@@ Property / cites work @@
+Q2753679
@@ Property / cites work: Q2753679 / rank @@
+Normal rank
@@ Property / cites work @@
+A globalization of the Hahn-Banach theorem
@@ Property / cites work: A globalization of the Hahn-Banach theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Proving open properties by induction
@@ Property / cites work: Proving open properties by induction / rank @@
+Normal rank
@@ Property / cites work @@
+A universal Krull-Lindenbaum theorem
@@ Property / cites work: A universal Krull-Lindenbaum theorem / rank @@
+Normal rank
@@ Property / cites work @@
+ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
+Normal rank
@@ Property / cites work @@
+Q4553278
@@ Property / cites work: Q4553278 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract data type for real numbers
@@ Property / cites work: An abstract data type for real numbers / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4171/owr/2017/53
+Normal rank
@@ Property / OpenAlex ID @@
+W4230543667
@@ Property / OpenAlex ID: W4230543667 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128724227
@@ Property / Wikidata QID: Q128724227 / rank @@
+Normal rank

Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963): Difference between revisions

Latest revision as of 15:13, 12 August 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)