What do ultraproducts remember about the original structures?
Logic
2022-08-22 v2
Authors:
Henry Towsner
Abstract
We describe a syntactic method for taking proofs which use ultraproducts and translating them into direct, constructive proofs.
Cite
@article{arxiv.1804.10809,
title = {What do ultraproducts remember about the original structures?},
author = {Henry Towsner},
journal= {arXiv preprint arXiv:1804.10809},
year = {2022}
}
Related papers
View all related →
Logic · Mathematics
Ultraproducts as a tool for first-order inexpressibility in the finite and infinite
Philip Dittmann
2013-10-14
Computation and Language · Computer Science
A Survey of Paraphrasing and Textual Entailment Methods
Ion Androutsopoulos, Prodromos Malakasiotis
2010-06-01
Logic · Mathematics
Continuous Sentences Preserved Under Reduced Products
Isaac Goldbring, H. Jerome Keisler
2020-09-09
Number Theory · Mathematics
The method of creative microscoping
Wadim Zudilin
2020-09-24
Logic · Mathematics
Finitistic Properties of High Complexity
Dmytro Taranovsky
2017-07-19
Group Theory · Mathematics
Metric ultraproducts of finite groups with respect to some length functions
A. Ivanov
2014-01-07
Logic · Mathematics
A Survey of Ultraproduct Constructions in General Topology
Paul Bankston
2016-09-07
Logic · Mathematics
A Worked Example of the Functional Interpretation
Henry Towsner
2015-03-20
Logic in Computer Science · Computer Science
A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions
Gilles Dowek
2023-10-09
Logic · Mathematics
Partial Model Theory -- Ultraproducts and Compactness
Rodolfo Cunha Carnier
2024-05-20
Programming Languages · Computer Science
Controlling Copatterns: There and Back Again (Extended Version)
Paul Downen
2025-08-19
Logic in Computer Science · Computer Science
Generating collection transformations from proofs
Michael Benedikt, Cécilia Pradic
2023-03-24
Artificial Intelligence · Computer Science
Structured Production System (extended abstract)
Yi Zhou
2017-04-27
Logic · Mathematics
Infinite Lexicographic Products
Nadav Meir
2023-08-09
Programming Languages · Computer Science
A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
Alexei Lisitsa, Andrei P. Nemytykh
2012-09-26
Computation and Language · Computer Science
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark
2021-06-07
Logic in Computer Science · Computer Science
Ultraproducts in abstract categorical logic
Marc Aiguier, Isabelle Bloch, Romain Pascual
2024-07-08
Logic in Computer Science · Computer Science
Computational interpretation of classical logic with explicit structural rules
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
2012-03-23
Logic · Mathematics
On topological properties of ultraproducts of finite sets
Gabor Sagi, Saharon Shelah
2007-05-23
Machine Learning · Statistics
Learning to Predict: A Fast Re-constructive Method to Generate Multimodal Embeddings
Guillem Collell, Teddy Zhang, Marie-Francine Moens
2017-03-28
Computer Vision and Pattern Recognition · Computer Science
Point Cloud Synthesis Using Inner Product Transforms
Ernst Röell, Bastian Rieck
2026-01-08
Logic · Mathematics
The isomorphism theorem for linear fragments of continuous logic
Seyed-Mohammad Bagheri
2019-10-03
Combinatorics · Mathematics
Refined Absorption: A New Proof of the Existence Conjecture and its Applications to Extremal and Probabilistic Design Theory
Luke Postle
2025-10-24
Logic in Computer Science · Computer Science
Definitions by rewriting in the Calculus of Constructions
Frédéric Blanqui
2016-08-16
General Mathematics · Mathematics
Novel Approach to Infinite Products Using Multiplicative Modulus Function
C. Ganesa Moorthy
2019-12-10