Results 131 to 140 of about 401 (180)
Reducing Tarski to Unique Tarski (In the Black-Box Model)
SIAM Journal on ComputingWe study the problem of finding a Tarski fixed point over the k-dimensional grid [n]^k. We give a black-box reduction from the Tarski problem to the same problem with an additional promise that the input function has a unique fixed point. It implies that the Tarski problem and the unique Tarski problem have exactly the same query complexity.
Yuhao Li, Xi Chen, Mihalis Yannakakis
exaly +5 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2011
This chapter offers a simplified account of the most basic features of Alfred Tarski's model theory. Tarski foresaw important applications for a notion of truth in mathematics, but also saw that mathematicians were suspicious of that notion, and rightly so given the state of understanding of it circa 1930.
Alexis G. Burgess, John P. Burgess
+4 more sources
This chapter offers a simplified account of the most basic features of Alfred Tarski's model theory. Tarski foresaw important applications for a notion of truth in mathematics, but also saw that mathematicians were suspicious of that notion, and rightly so given the state of understanding of it circa 1930.
Alexis G. Burgess, John P. Burgess
+4 more sources
Unique Tarski Fixed Points [PDF]
Mathematics of Operations Research, 2019 We establish sufficient conditions that ensure the uniqueness of Tarski-type fixed points of monotone operators. A first set of results relies on order concavity, whereas a second one uses subhomogeneity. A few applications that illustrate our results are presented.
Massimo Marinacci, Luigi Montrucchio
exaly +3 more sources
Journal of Symbolic Logic, 2001
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
Abstract.This paper concerns Tarski's use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski's recent defenders. I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors.
openaire +1 more source
Bulletin of Symbolic Logic, 1999
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source
AbstractThis paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence
Alfred Tarski, Steven Givant
openaire +1 more source
Synthese, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Symbolic Logic, 1986
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
This is a brief biography, listing also all of Tarski's Ph. D. students, and mentioning some other students and colleagues influenced by him.
openaire +2 more sources
Logique et Analyse, 2023
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source
Summary: Émile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum ...
openaire +1 more source
Journal of Symbolic Logic, 1986
Tarski published his first geometry paper, [24b], in 1924. As is well known, the area of the union of two disjoint figures is the sum of the areas of these two figures. This observation is the basis of a method for proving that two figures, say A and B, have the same area: if we can divide each of the two figures A and B into a finite number of ...
openaire +1 more source
Tarski published his first geometry paper, [24b], in 1924. As is well known, the area of the union of two disjoint figures is the sum of the areas of these two figures. This observation is the basis of a method for proving that two figures, say A and B, have the same area: if we can divide each of the two figures A and B into a finite number of ...
openaire +1 more source
Synthese, 2003
The paper under review is an attempt to explain Tarski's conception of logical notions based on the idea of invariance. The analyses included in the paper lead the author to the conclusion that this conception did not undego any significant modifications throughout Tarski's life.
openaire +2 more sources
The paper under review is an attempt to explain Tarski's conception of logical notions based on the idea of invariance. The analyses included in the paper lead the author to the conclusion that this conception did not undego any significant modifications throughout Tarski's life.
openaire +2 more sources