Results 171 to 180 of about 28,310 (224)
Hilbert's Early Metatheory Revisited. [PDF]
ErkenntnisGiovannini EN, Schiemer G.
europepmc +1 more source
Single-cell 3D genome reconstruction in the haploid setting using rigidity theory. [PDF]
J Math BiolDewar S +4 more
europepmc +1 more source
Tarski monoids: Matui’s spatial realization theorem
, 2017 This paper continues the study of a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra.
M. Lawson
semanticscholar +3 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
Computations and Complexities of Tarski's Fixed Points and Supermodular Games
IJTCS-FAW, 2020We consider two models of computation for Tarski's order preserving function f related to fixed points in a complete lattice: the oracle function model and the polynomial function model.
C. Dang, Qi Qi, Y. Ye
semanticscholar +1 more source
Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria
Information Technology Convergence and Services, 2019The use of monotonicity and Tarski's theorem in existence proofs of equilibria is very widespread in economics, while Tarski's theorem is also often used for similar purposes in the context of verification.
K. Etessami +3 more
semanticscholar +1 more source
Jónsson Jónsson–Tarski algebras
Algebra universalis, 2023By studying the variety of Jónsson-Tarski algebras, we demonstrate two obstacles to the existence of large Jónsson algebras in certain varieties. First, if an algebra $J$ in a language $L$ has cardinality greater than $|L|^+$ and a distributive subalgebra lattice, then it must have a proper subalgebra of size $|J|$.
openaire +2 more sources
Implications of Tarski's undefinability theorem on the Theory of Everything
Europhysics lettersThe Theory of Everything seeks to unify all fundamental forces of nature, including quantum gravity, into a single theoretical framework. This theory would be defined internally using a set of axioms, and this paper proposes a set of axioms for any such ...
Mir Faizal, Arshid Shabir, A. Khan
semanticscholar +1 more source
Reducing Tarski to Unique Tarski (in the Black-box Model)
Electron. Colloquium Comput. Complex.We 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.
Xi Chen, Yuhao Li, M. Yannakakis
semanticscholar +1 more source
J. Appl. Non Class. Logics, 2019
In this work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the maximal round filters, called ends.
S. Celani
semanticscholar +1 more source
In this work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the maximal round filters, called ends.
S. Celani
semanticscholar +1 more source